2 Commits (master)

Author	SHA1	Message	Date
Lukas Werling	8e17d7fd7b	docs: Fix case-sensitivity in search	2018-03-24 22:19:58 +01:00
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