[darcs-devel] [patch1624] add --not-in-remote option to unrecord command

Ben Franksen bugs at darcs.net
Fri Oct 27 11:52:39 UTC 2017


Ben Franksen <ben.franksen at online.de> added the comment:

Oops, forgot that I already created a patch entry for that.

----------
status: needs-screening -> obsoleted

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1624>
__________________________________


More information about the darcs-devel mailing list