diff options
| author | Martin Mares <mj@ucw.cz> | 2000-06-03 17:02:30 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2000-06-03 17:02:30 +0000 |
| commit | 2e130b5cadb970b7f4f743e69cd459b5b42cf208 (patch) | |
| tree | 4c411814477e19f9fcaf451ee4f8898471e1b977 /tools/gendist | |
| parent | c0b2f6463fd7464ce6fe4d9dc67f37e61bface11 (diff) | |
Recognize `|xxxx|' as verbatim text and typeset it using <tt>.
Diffstat (limited to 'tools/gendist')
0 files changed, 0 insertions, 0 deletions