Hi Michai, 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. What do you recommend regarding option names? It's easier to type checkin but easier to read check-in. Thanks for your other recommendation, by the way. -- ------- inum: 883510009027723 sip: jungleboo...@sip2sip.info xmpp: jungle-boo...@jit.si _______________________________________________ fossil-users mailing list fossil-users@lists.fossil-scm.org http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users