]> git.ipfire.org Git - thirdparty/make.git/commit
projects / thirdparty / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f96ef9a) | patch
(\titlefont): Define again, using \titlefonts.
authorRichard M. Stallman <rms@gnu.org>
Thu, 10 Jul 1997 01:23:38 +0000 (01:23 +0000)
committerRichard M. Stallman <rms@gnu.org>
Thu, 10 Jul 1997 01:23:38 +0000 (01:23 +0000)
commitfd688f6e9c7ec51150f19ed79958b355adde4c76
tree88da26bbbc711520c57c58b9ea9925f28939effetree
parentf96ef9a409e2b30a67a1420fe2d1e88066d339a2commit | diff
(\titlefont): Define again, using \titlefonts.
texinfo.tex diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/make.git