Sat, 04 Apr 2009 23:18:13 +0200 pager: word-wrap help texts at 70 characters
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 23:18:13 +0200] rev 7995
pager: word-wrap help texts at 70 characters
Sat, 04 Apr 2009 23:18:03 +0200 mq: word-wrap help texts at 70 characters
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 23:18:03 +0200] rev 7994
mq: word-wrap help texts at 70 characters
Sat, 04 Apr 2009 23:17:53 +0200 keyword: word-wrap help texts at 70 characters
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 23:17:53 +0200] rev 7993
keyword: word-wrap help texts at 70 characters
Sat, 04 Apr 2009 23:17:33 +0200 hgk: word-wrap help texts at 70 characters
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 23:17:33 +0200] rev 7992
hgk: word-wrap help texts at 70 characters
Sat, 04 Apr 2009 23:17:21 +0200 fetch: word-wrap help texts at 70 characters
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 23:17:21 +0200] rev 7991
fetch: word-wrap help texts at 70 characters
Sat, 04 Apr 2009 23:17:12 +0200 extdiff: word-wrap help texts at 70 characters
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 23:17:12 +0200] rev 7990
extdiff: word-wrap help texts at 70 characters
Sat, 04 Apr 2009 23:16:55 +0200 convert: word-wrap help texts at 70 characters
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 23:16:55 +0200] rev 7989
convert: word-wrap help texts at 70 characters
Sat, 04 Apr 2009 23:16:32 +0200 color: word-wrap help texts at 70 characters
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 23:16:32 +0200] rev 7988
color: word-wrap help texts at 70 characters
Sat, 04 Apr 2009 23:16:21 +0200 churn: word-wrap help texts at 70 characters
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 23:16:21 +0200] rev 7987
churn: word-wrap help texts at 70 characters
Sat, 04 Apr 2009 23:15:37 +0200 children: word-wrap help texts at 70 characters
Martin Geisler <mg@daimi.au.dk> [Sat, 04 Apr 2009 23:15:37 +0200] rev 7986
children: word-wrap help texts at 70 characters
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip