chiark / gitweb /
doxygen: avoid useless warning.
authorVladimír Vondruš <mosra@centrum.cz>
Wed, 6 Dec 2017 23:46:30 +0000 (00:46 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 7 Dec 2017 01:23:50 +0000 (02:23 +0100)
commit5cc7a78b2829fbbe4eaa990d1683fe3233d4a602
tree9b1ee65abf3650cb436f176ab10043c1334f1ca5
parentb585071b19531169393cbbfc0c928cb08814736b
doxygen: avoid useless warning.
doxygen/dox2html5.py