diff options
author | Karl Berry <karl@gnu.org> | 1996-08-20 18:37:11 +0000 |
---|---|---|
committer | Karl Berry <karl@gnu.org> | 1996-08-20 18:37:11 +0000 |
commit | 2602fb8e7165d4eb382dcb2480148d0beb142ed0 (patch) | |
tree | ce6b02f0e58076b27d00250a103b342e4428ca6c /configure | |
parent | bfce132399896cdb206ba239728e39dc03e9356f (diff) | |
download | gunmake-2602fb8e7165d4eb382dcb2480148d0beb142ed0.tar.gz |
(\key): Typeset a lozenge around the argument (from
gildea@intouchsys.com).
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions