projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5ddbd8) | patch
doc: avoid small caps
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 6 Jan 2013 01:23:52 +0000 (17:23 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 6 Jan 2013 01:27:14 +0000 (17:27 -0800)
commit133948aba19552e7bc92aa38a667347791da7e86
tree01da797b048dcc2e6fea30f36951ca63d2db16c3tree | snapshot
parentd5ddbd8b67da0e39f85727071830b7a33d9bda66commit | diff
doc: avoid small caps

* doc/parse-datetime.texi, doc/regex.texi: Don't use small caps;
they're more trouble than they're worth.  Suggested by Karl Berry
in <http://bugs.gnu.org/13360>.
ChangeLog diff | blob | history
doc/parse-datetime.texi diff | blob | history
doc/regex.texi diff | blob | history
gnulib debian + stable branches