]> git.plutz.net Git - shellwiki/history - searchindex.sh
Merge commit '2e4c276d4c642e43be3d4bb9d7314f87c21746a6'
[shellwiki] / searchindex.sh
2023-10-11 Paul HänschMerge commit '2e4c276d4c642e43be3d4bb9d7314f87c21746a6'
2023-10-11 Paul HänschMerge commit '8ed4549c0ae1f6b38ee56e61e71e1eae5967fd0f'
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-27 Paul Hänschbugfix: read --loaction parameter
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