1. 2005-07-31 Re: [darcs-devel] darcs patch: changed ***DARCS*** to darcs-dev Jason Dagit 2. 2005-07-31 Re: [darcs-devel] darcs patch: changed ***DARCS*** to darcs-dev Erik Schnetter 3. 2005-07-31 Re: [darcs-devel] darcs patch: changed ***DARCS*** to darcs-dev Jason Dagit 4. 2005-07-31 [darcs-devel] darcs patch: changed ***DARCS*** to *** darcs-dev Jason Dagit