[darcs-users] arch is boring

Tim Barbour trb at eastpac.com.au
Sat Nov 29 07:29:21 UTC 2003


It might be useful to have 

^{arch}$

in the default boring file, for the sake of people migrating from arch/ArX.

Tim




More information about the darcs-users mailing list