[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