marko10_000
/
openclonk
forked from Mirrors/openclonk
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
openclonk/docs/tools
History
Lukas Werling f4c854b651 docs: Implement client-side search 
Search is now performed with a pre-computed index file. This commit
removes the old PHP-based search.
 		2018-03-23 21:23:38 +01:00
..
build_contents.py docs: Implement client-side search 2018-03-23 21:23:38 +01:00
build_hhp.py docs: Implement client-side search 2018-03-23 21:23:38 +01:00
build_index.js docs: Implement client-side search 2018-03-23 21:23:38 +01:00
clonk.py docs: Implement client-side search 2018-03-23 21:23:38 +01:00
experimental.py docs: Implement client-side search 2018-03-23 21:23:38 +01:00
xml2po.py docs: Implement client-side search 2018-03-23 21:23:38 +01:00