On 9/14/06, Scott Michel <[EMAIL PROTECTED]> wrote:
This differs from the boring file how?
Good question - I should have made this distinction apparant in my first mail. The boring file cannot be used on files that darcs is already keeping track of. The ignore file can. You could think of the boring file as a filter for darcs add, and the ignore file as a filter for darcs record. -- Eric Kow http://www.loria.fr/~kow PGP Key ID: 08AC04F9 Merci de corriger mon français.
_______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
