projects / platform / upstream / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d1d6aa) | patch
* texinfo.tex (\value): handle active _ or - in argument (happens
authorKarl Berry <karl@gnu.org>
Mon, 10 Aug 1998 19:17:34 +0000 (19:17 +0000)
committerKarl Berry <karl@gnu.org>
Mon, 10 Aug 1998 19:17:34 +0000 (19:17 +0000)
commitfc6cca1c7c6d961348ad2002cbfc471606c2a79b
tree1e8cae7f21ad687845ba779acb559bcefb7337a7tree | snapshot
parent5d1d6aa6dec057dd2ff47826abbaae715e995d06commit | diff
* texinfo.tex (\value): handle active _ or - in argument (happens
  if called from @code).
  Report from: Dave Love <d.love@dl.ac.uk>.
texinfo.tex diff | blob | history
Domain: System / Base;