Commit graph

4 commits

Author SHA1 Message Date
Griatch
d373ec784e Tweak doc search algorithm 2023-03-02 21:22:01 +01:00
Griatch
a452434ba8 Revert "Updated HTML docs."
This reverts commit 06bc3c8bcd.
2022-11-15 20:46:50 +01:00
Griatch
06bc3c8bcd Updated HTML docs. 2022-11-15 19:43:25 +00:00
Griatch
39b4b7846b Optimized docs search for more relevant scoring 2022-02-06 22:43:39 +01:00