chiark / gitweb /
doxygen: workarounds to make coverage.py happy :/
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 13 Sep 2018 16:58:33 +0000 (18:58 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 13 Sep 2018 16:58:33 +0000 (18:58 +0200)
commit3f1f7ef007e5b0659594f3addcc45309f7ec90dc
tree836747cd32aef4fe274e3ab33fc3685b1874efae
parentbc636f90fcc3dab4292a2e1fb2bcc7ebd9ec4d2e
doxygen: workarounds to make coverage.py happy :/
doxygen/dox2html5.py