[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