[darcs-users] boring patterns

Tomasz Zielonka tomasz.zielonka at gmail.com
Fri Nov 26 20:38:45 UTC 2004


On Fri, Nov 26, 2004 at 08:50:02PM +0100, Manfred Lotz wrote:
> Are the boring patterns hard coded? 

No, darcs takes them from _darcs/prefs/boring

Best regards,
Tomasz




More information about the darcs-users mailing list