]> git.plutz.net Git - shellwiki/history - handlers/40_search.sh
workaround for hosters without /bin/awk
[shellwiki] / handlers / 40_search.sh
2023-10-09 Paul HänschMerge commit '640be5e3114c0b048be094fa0746dee8aae99638'
2023-10-09 Paul HänschMerge commit '8d70db1b103253dc37ba234b8c65b57a6cced077'
2023-10-08 Paul HänschMerge commit '24ecc97dd3f20e7b2651e2b32d37732710684093'
2023-09-25 Paul Hänschreindex after tree movement, bugfix in search filtering...
2023-09-23 Paul Hänschadd license headers
2023-09-23 Paul HänschMerge commit '93889092574b7deb38da16f67bd5e3d744a94b86'
2023-09-22 Paul Hänschbugfix: backslash escaping
2023-09-22 Paul Hänschthemeable search page
2023-09-22 Paul Hänschfilter foreign languages and system pages from search...
2023-09-22 Paul Hänschhtml syntax typo
2023-09-22 Paul Hänschsearch form on result page
2023-09-22 Paul Hänschcase insensitive search
2023-09-22 Paul Hänschseparate word index by unicode punctuation
2023-09-22 Paul Hänschtreat %XX URL sequences as field stop in indexing,...
2023-09-22 Paul Hänschsearch handler