]> git.ipfire.org Git - thirdparty/make.git/commit
projects / thirdparty / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c86587f) | patch
(\indexdummies): Add \value.
authorKarl Berry <karl@gnu.org>
Mon, 14 Jul 1997 17:43:41 +0000 (17:43 +0000)
committerKarl Berry <karl@gnu.org>
Mon, 14 Jul 1997 17:43:41 +0000 (17:43 +0000)
commiteb4d510a748e68580eb29a3647dd51311e1c79cf
tree8f20cf03005f10d4c6344f79e92a3aab6a4403b2tree
parentc86587fb9b59f3dc17408101d47ef2c75e4b2764commit | diff
(\indexdummies): Add \value.
texinfo.tex diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/make.git