[darcs-devel] [issue1674] darcs check wrongly reports that it's fixing remove non-empty error

Eric Kow bugs at darcs.net
Wed Nov 4 14:24:56 UTC 2009


New submission from Eric Kow <kowey at darcs.net>:

Splitting this from issue1673: we need to differentiate the message for darcs
check/repair so it doesn't sound like darcs check is actually doing something. 
I doubt this will be very hard to fix

----------
messages: 9199
nosy: attila.lendvai, darcs-devel, dmitry.kurochkin, jaredj, kowey
priority: bug
status: need-implementation
title: darcs check wrongly reports that it's fixing remove non-empty error
topic: ProbablyEasy, UI

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


More information about the darcs-devel mailing list