[darcs-devel] [issue1210] global cache gets recorded in _darcs/prefs/sources
Adolfo Builes
bugs at darcs.net
Mon Jun 7 09:14:33 UTC 2010
Adolfo Builes <builes.adolfo at gmail.com> added the comment:
The following patch updated the status of issue1210 to be resolved:
* Resolve issue1210: global cache gets recorded in _darcs/prefs/sources
Ignore-this: 5e7d0c93f25b2b64b949e66fc0f17398
----------
nosy: +abuiles
status: need-implementation -> resolved
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1210>
__________________________________
More information about the darcs-devel
mailing list