chiark / gitweb /
doxygen: support <pre> tags.
authorVladimír Vondruš <mosra@centrum.cz>
Mon, 29 Jan 2018 10:55:09 +0000 (11:55 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Mon, 29 Jan 2018 12:49:08 +0000 (13:49 +0100)
commit419fa8370bea7bad1b4946e798fcc4398eb00cc8
treef4d19a2c439aaf75dfe4ffe73f64296f721bc500
parentab6d91f1a3d16161fda5c36864619c26f47e5a2b
doxygen: support <pre> tags.

I can't comprehend why there is a separate <verbatim> and
<preformatted> tag.
doxygen/dox2html5.py
doxygen/test/contents_typography/index.html
doxygen/test/contents_typography/input.dox