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

[Dino Morelli]

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.

----------
resolvedin:  -> 2.5.0 (current)

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