[darcs-users] [patch256] Cut unused NonPatch type synonym.

Eric Kow bugs at darcs.net
Mon Jun 7 18:08:17 UTC 2010

Eric Kow <kowey at darcs.net> added the comment:

I think I can push this in on the grounds of it being a trivial patch.

Darcs bug tracker <bugs at darcs.net>

More information about the darcs-users mailing list