[darcs-users] arch is boring

David Roundy droundy at abridgegame.org
Sat Nov 29 11:58:59 UTC 2003


On Sat, Nov 29, 2003 at 06:29:21PM +1100, Tim Barbour wrote:
> It might be useful to have 
> 
> ^{arch}$
> 
> in the default boring file, for the sake of people migrating from arch/ArX.

Done.  :)
-- 
David Roundy
http://www.abridgegame.org




More information about the darcs-users mailing list