chiark / gitweb /
doxygen: don't try to go to the result if there isn't any.
authorVladimír Vondruš <mosra@centrum.cz>
Wed, 2 Jan 2019 17:33:55 +0000 (18:33 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Wed, 2 Jan 2019 21:07:36 +0000 (22:07 +0100)
commit09787b5b02c43eff07c949d85bca8e7a0923666d
tree6991db4a2f55a185fdf49d8d5cc1688c212e1044
parent8bdb844ceb547d8ca3156ef815de9603e51a598a
doxygen: don't try to go to the result if there isn't any.
doxygen/search.js