On Sat, Aug 20, 2005 at 11:30:50PM +1000, Andrew Cowie wrote: > b) There was a bug in darcs 1.0.2 regarding this: while this option > worked correctly for local gets, it didn't work when doing a remote get. > This appears to be fixed in 1.0.3
It's broken again in 1.0.4... and it's not so very easy to fix, as we've got to pass a [DarcsFlags] to apply, which is more than a bit ugly. :( -- David Roundy http://www.darcs.net _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
