[darcs-devel] [issue1232] darcs convert forgets _darcs/prefs/prefs

[Dino Morelli]

Dino Morelli <dino at ui3.info> added the comment:

The following patch updated the status of issue1232 to be resolved:

* 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.

----------
status: need-action -> resolved

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