[darcs-devel] [issue1232] darcs convert forgets _darcs/prefs/prefs
Dino Morelli
bugs at darcs.net
Tue Jun 15 22:32:18 UTC 2010
Dino Morelli <dino at ui3.info> added the comment:
The following patch updated issue issue1232 with status=resolved;resolvedin=2.5.0 (current)
* Resolve issue1232: darcs convert forgets _darcs/prefs/prefs
Ignore-this: 3973731c4c3c5297546570ebe3662f06
Added code to copy the _darcs/prefs/prefs file into the newly created
darcs2 repository during a convert. A dumb copy is possibly not the best
solution, but is better than nothing.
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1232>
__________________________________
More information about the darcs-devel
mailing list