[darcs-devel] darcs patch: start gadt stuff (and 1 more)

David Roundy droundy at darcs.net
Wed May 30 13:16:07 PDT 2007


On Wed, May 30, 2007 at 09:32:08PM +0200, Eric Y. Kow wrote:
> 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.

Ooops, I didn't intend that to go together.  But I'd rather not split the
patch, if you don't mind.
-- 
David Roundy
Department of Physics
Oregon State University
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://lists.osuosl.org/pipermail/darcs-devel/attachments/20070530/9c5f3df1/attachment.pgp


More information about the darcs-devel mailing list