[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