chiark / gitweb /
doxygen: save some bits.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 4 Feb 2018 21:19:34 +0000 (22:19 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 4 Feb 2018 22:56:27 +0000 (23:56 +0100)
commitcf5edc4413e48db354c6d55c4051c11eb7a4e0ae
treead91faa1dad7321c68de68426815b06464d5684f
parent402dd22ed458e61f03b03a2221cb5a94483b49fe
doxygen: save some bits.
doxygen/dox2html5.py
doxygen/test/test_search.py