Sat, 04 Apr 2009 23:15:10 +0200 bookmarks: word-wrap help texts at 70 characters
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 23:15:10 +0200] rev 7984
bookmarks: word-wrap help texts at 70 characters
Sat, 04 Apr 2009 21:09:43 +0200 Change double spaces to single spaces in help texts.
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 21:09:43 +0200] rev 7983
Change double spaces to single spaces in help texts.
Sat, 04 Apr 2009 18:31:01 +0200 commands: explain when to use resolve -m
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 18:31:01 +0200] rev 7982
commands: explain when to use resolve -m
Sat, 04 Apr 2009 18:03:03 +0200 commands: clarify push help text
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 18:03:03 +0200] rev 7981
commands: clarify push help text
Sat, 04 Apr 2009 17:51:31 +0200 commands: make pull help point to the incoming command
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 17:51:31 +0200] rev 7980
commands: make pull help point to the incoming command
Sat, 04 Apr 2009 17:44:18 +0200 commands, help: consistently write 'URL' in upper-case
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 17:44:18 +0200] rev 7979
commands, help: consistently write 'URL' in upper-case
Sat, 04 Apr 2009 17:41:22 +0200 help: expand command names in 'Url Paths' help text
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 17:41:22 +0200] rev 7978
help: expand command names in 'Url Paths' help text
Sat, 04 Apr 2009 17:33:42 +0200 commands: better merge help text
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 17:33:42 +0200] rev 7977
commands: better merge help text
Sat, 04 Apr 2009 16:46:50 +0200 commands: removed redundant text in manifest help
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 16:46:50 +0200] rev 7976
commands: removed redundant text in manifest help
Sat, 04 Apr 2009 00:32:06 +0200 commands: stress that commit is a local operation
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 00:32:06 +0200] rev 7975
commands: stress that commit is a local operation
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip