]> git.plutz.net Git - shellwiki/commit
adapt searchindex tool to latest changes
authorPaul Hänsch <paul@plutz.net>
Mon, 19 Feb 2024 01:42:53 +0000 (02:42 +0100)
committerPaul Hänsch <paul@plutz.net>
Mon, 19 Feb 2024 01:42:53 +0000 (02:42 +0100)
commit756d5e8c0adddd6ed14833cdc246c08eba3a12ae
treebe6fde01c39ddeb3c743a3cb10f8e24cd178a831
parentc5a75083f27f6f71bf4ddab6f5d5dde6524d7d8a
adapt searchindex tool to latest changes
searchindex.sh