On Wed, May 05, 2010 at 23:07:09 +0200, Ben Franksen wrote: > > I think you want http://bugs.darcs.net/issue1429 > > Yes, sorry I was too lazy to first check the bug tracker. Anyway, the ticket > does not mention that these options are recommended by darcs when doing a > push, this IMO lends some additional force to the item. Should I add this > to the ticket?
Sure. Have a look at the email thread referenced there, though. It seems to have a generated a bit of fine-grained UI discussion. Thanks, -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9
pgpxwjsJtqPj7.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
