]> git.plutz.net Git - shellwiki/history - searchindex.sh
reindex after tree movement, bugfix in search filtering, improved search weighting
[shellwiki] / searchindex.sh
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änschtypo for verbose logging
2023-09-23 Paul Hänschtype for verbose logging
2023-09-23 Paul Hänschserchindex script for pruning and indexing