commit | c9c37ca62e1aa6bda1fca5882048645bb6b11fba | [log] [tgz] |
---|---|---|
author | Johannes Gijsbers <jlg@dds.nl> | Sat Sep 11 15:47:30 2004 +0000 |
committer | Johannes Gijsbers <jlg@dds.nl> | Sat Sep 11 15:47:30 2004 +0000 |
tree | 44e496222e1ed779d3b14068dd3113674892790f | |
parent | f08437ca08b25da10665cd1caa1d8e8d0e9bd62e [diff] |
Patch #1025800: remove TeX quoting from verbatim section. Thanks Dima Dorfman!