New submission from benjamin.franksen <[EMAIL PROTECTED]>: More precisely, the option --no-set-default has no effect if the repo does not already contain a _darcs/prefs/defaultrepo file.
(darcs release 1.0.8) Ben ---------- messages: 1273 nosy: EricKow, benjamin.franksen, droundy, tommy status: unread title: no-set-default sometimes has no effect ____________________________________ Darcs issue tracker <[EMAIL PROTECTED]> <http://bugs.darcs.net/issue357> ____________________________________ _______________________________________________ darcs-devel mailing list [email protected] http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
