-- O.L.
_______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
It is not 100% clear from the manual which commands are obligatorily vs.
optionally interactive. I gather most are the latter but what of record?
It is interactive by default but there is no --no-interactive flag.
- [darcs-users] Interactive commands Olivier Lefevre
- Re: [darcs-users] Interactive commands Jamie Webb
