]> git.plutz.net Git - shellwiki/commit
much faster indexer (but will require maintenance via cron)
authorPaul Hänsch <paul@plutz.net>
Fri, 22 Sep 2023 19:27:48 +0000 (21:27 +0200)
committerPaul Hänsch <paul@plutz.net>
Fri, 22 Sep 2023 19:27:48 +0000 (21:27 +0200)
commit4e89a8d6ab962a2582f78fbf47b1f49c735662cd
tree3bcdedc893cd8d5490c239a4b0a87b4f98b81995
parent634d3aa5daf5404f2d209512acf70c601ece5697
much faster indexer (but will require maintenance via cron)
parsers/40_indexer.sh