]> git.plutz.net Git - shellwiki/history - searchindex.sh
add license headers
[shellwiki] / searchindex.sh
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