After reviewing the help, I'm in favour of removing --prompt-posthook and --prompt-prehook. Eight flags to keep control of two hooks seems just too much - there must be a better way. +1
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
