No strong opinions here, but I actually prefer Pietro Abate's suggestion -- add a new option '--exclude-files'' that takes a regexp of files to ignore. As far as I can tell, this has the full functionality of ignored_file -- just add ``ALL exclude_-files ...'' to your prefs file.
Juliusz
_______________________________________________
darcs-devel mailing list
[email protected]
http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
