chiark / gitweb /
doxygen: minor cleanup.
authorVladimír Vondruš <mosra@centrum.cz>
Sat, 12 Jan 2019 14:59:37 +0000 (15:59 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sat, 12 Jan 2019 14:59:37 +0000 (15:59 +0100)
commit190dd2072e395b9d14ab995b9a30e54fc251f8d9
treea781a09d21ff4f918cf70a999733798577da616c
parent788c507dd2dc7f2044dc69477a3c426c24457484
doxygen: minor cleanup.
doxygen/dox2html5.py