diff options
author | Karl Berry <karl@gnu.org> | 1998-08-10 19:17:34 +0000 |
---|---|---|
committer | Karl Berry <karl@gnu.org> | 1998-08-10 19:17:34 +0000 |
commit | fc6cca1c7c6d961348ad2002cbfc471606c2a79b (patch) | |
tree | 1e8cae7f21ad687845ba779acb559bcefb7337a7 /AUTHORS | |
parent | 5d1d6aa6dec057dd2ff47826abbaae715e995d06 (diff) | |
download | gunmake-fc6cca1c7c6d961348ad2002cbfc471606c2a79b.tar.gz |
* texinfo.tex (\value): handle active _ or - in argument (happens
if called from @code).
Report from: Dave Love <d.love@dl.ac.uk>.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions