[darcs-users] rename "_darcs" to ".darcs" ?
Zooko Journeyman
zooko at zooko.com
Tue Aug 10 13:30:20 UTC 2004
I see that there are some good reasons to prefer "_darcs" to ".darcs".
I don't have any more to say on the issue. :-)
Regards,
Zooko
More information about the darcs-users
mailing list