]> git.ipfire.org Git - thirdparty/make.git/commit
projects / thirdparty / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09616e5) | patch
(\startcontents): Leave ^ catcode as other.
authorKarl Berry <karl@gnu.org>
Wed, 9 Jul 1997 20:45:27 +0000 (20:45 +0000)
committerKarl Berry <karl@gnu.org>
Wed, 9 Jul 1997 20:45:27 +0000 (20:45 +0000)
commitf96ef9a409e2b30a67a1420fe2d1e88066d339a2
treeed9aded1c08f17c358f3a5e709bf8c841beaf34btree
parent09616e5837a88a78ebcb78a19d36d02eff0fc2facommit | diff
(\startcontents): Leave ^ catcode as other.
texinfo.tex diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/make.git