Hello, On 28 February 2015 at 14:13, jungle Boogie <jungleboog...@gmail.com> wrote: > On 28 February 2015 at 01:44, Michai Ramakers <m.ramak...@gmail.com> wrote: >> I'll pick this one up. Did you mean to change the actual option-names too? > > No, that was probably a mistake and my misunderstanding of the > comments vs. options.
ok > What do you recommend regarding option names? It's easier to type > checkin but easier to read check-in. Well... I would think twice before changing option names (possibly breaking scripts out there). Michai _______________________________________________ fossil-users mailing list fossil-users@lists.fossil-scm.org http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
