On 3/29/06, Eric Kow <[EMAIL PROTECTED]> wrote: > > New submission from Eric Kow <[EMAIL PROTECTED]>: > > (setting to bug because I need a priority, although whether this is actually a > bug is debatable)
Even though an error is given the patch is considered applied isn't? So then to make your repo consistent you have to delete the offending files and then revert? Is that correct? If so, I'd say yes this is a bug because darcs thinks a patch has been applied but your working copy isn't really up to date. Jason _______________________________________________ darcs-devel mailing list [email protected] http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
