projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c4ef32) | patch
(\titlefont): Define again, using \titlefonts.
authorRichard Stallman <rms@gnu.org>
Thu, 10 Jul 1997 01:23:38 +0000 (01:23 +0000)
committerRichard Stallman <rms@gnu.org>
Thu, 10 Jul 1997 01:23:38 +0000 (01:23 +0000)
commit725303fe99619749d84b240eca7c76019a7bc383
tree1929f976243ef6a51b8880da8151c3ca71ae6096tree
parent6c4ef3286aa7b4e259b18a46dd8fd9af15af4560commit | diff
(\titlefont): Define again, using \titlefonts.

From-SVN: r14406
gcc/texinfo.tex diff | blob | history