[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