> More precisely, the option --no-set-default has no effect if the repo 
> does not already contain a _darcs/prefs/defaultrepo file.

That's the expected behaviour.  Please don't change it.

The idea is that --no-set-default makes defaults sticky.

                                        Juliusz

_______________________________________________
darcs-devel mailing list
[email protected]
http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel

Reply via email to