chiark / gitweb /
doxygen: actually remove the ID attribute instead of emptying it.
authorVladimír Vondruš <mosra@centrum.cz>
Wed, 2 Jan 2019 21:01:51 +0000 (22:01 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Wed, 2 Jan 2019 21:07:36 +0000 (22:07 +0100)
commit5cbdf20bd943f8f70e745f29f6b1d4ad5ef90291
tree2817bd368e47634d32919e12dbd8ab900ad01056
parent55c89531f80fc80de4caf456269a70599214b48a
doxygen: actually remove the ID attribute instead of emptying it.
doxygen/search.js