[darcs-devel] darcs patch: start gadt stuff (and 1 more)
Eric Y. Kow
eric.kow at gmail.com
Wed May 30 12:32:08 PDT 2007
Hi,
Just dashing off a quick comment on the superficial stuff
> Tue May 29 18:18:17 PDT 2007 David Roundy <droundy at darcs.net>
> * start gadt stuff
> + @echo Running tests on old-fashioned repositories...
Did you mean this and the other makefile stuff to be in a separate
patch? If you feel like splitting/amending that first patch, I'm
for it. No big deal, of course.
--
Eric Kow http://www.loria.fr/~kow
PGP Key ID: 08AC04F9 Merci de corriger mon français.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 186 bytes
Desc: not available
Url : http://lists.osuosl.org/pipermail/darcs-devel/attachments/20070530/d94de14b/attachment.pgp
More information about the darcs-devel
mailing list