chiark / gitweb /
doxygen: implemented result map prefix merging.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 4 Feb 2018 10:02:13 +0000 (11:02 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 4 Feb 2018 22:56:27 +0000 (23:56 +0100)
commit6c74675117ae0dfaea3a94a3d6054a890934b9c8
tree1204dfedfa389736eb29a18132502cfa1af70363
parente8ec02f52f091ee27e512da69a1f36c48a172c65
doxygen: implemented result map prefix merging.
doxygen/dox2html5.py
doxygen/search.js
doxygen/test/js-test-data/searchdata.b85
doxygen/test/js-test-data/searchdata.bin
doxygen/test/test-search.js
doxygen/test/test_search.py