chiark / gitweb /
doxygen: don't populate search data when search is disabled.
authorVladimír Vondruš <mosra@centrum.cz>
Sat, 10 Feb 2018 15:00:17 +0000 (16:00 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sat, 10 Feb 2018 15:09:11 +0000 (16:09 +0100)
commit954a324837c7d38daa52972ba7dd1ce3226edaf3
treebcd5c95745d7a548db7f04787e0e0275d5b50132
parent4b1845c5cab1e1dbe5e5b82b3e30f50a39e2388b
doxygen: don't populate search data when search is disabled.
doxygen/dox2html5.py