chiark / gitweb /
doxygen: take search query from URL GET ?q= parameter, if present.
authorVladimír Vondruš <mosra@centrum.cz>
Wed, 2 Jan 2019 00:27:31 +0000 (01:27 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Wed, 2 Jan 2019 21:07:36 +0000 (22:07 +0100)
commit52f9b65f9ad3565d8fa7724bd0e3be041bb4e4b6
tree62c73cf30ffd66d2e22bfea80291031a232c347b
parent8cd96c7af81cb83b4d8abe7c1a0c4b9f2bf3c6f0
doxygen: take search query from URL GET ?q= parameter, if present.
doxygen/search.js