projects / platform / upstream / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5d49d2) | patch
(\key): Do not uppercase the argument; key names
authorKarl Berry <karl@gnu.org>
Sat, 31 Aug 1996 19:08:16 +0000 (19:08 +0000)
committerKarl Berry <karl@gnu.org>
Sat, 31 Aug 1996 19:08:16 +0000 (19:08 +0000)
commit4e361d0f01a402b51da882e37bc2f68f03d0023e
tree59d2c918b2a6ed8f4c8d64ee3b8f703c8a690771tree | snapshot
parentd5d49d2e5ac1fdbdf008ffa10ae8b9402349b408commit | diff
(\key): Do not uppercase the argument; key names
can be mixed case, e.g., `Control'.
texinfo.tex diff | blob | history
Domain: System / Base;