chiark / gitweb /
doxygen: minor cleanup.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 11 Feb 2018 17:26:48 +0000 (18:26 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 11 Feb 2018 17:26:48 +0000 (18:26 +0100)
commitc6999cf4f2e57d6bacd538d6788057dca3f30468
tree0aec7b0a24fe379ac2a8cd8ed47265d5b9a82a7a
parent600a4f5e858841de04ce544528d59aeb333ce3e1
doxygen: minor cleanup.
doxygen/dox2html5.py