]> git.plutz.net Git - shellwiki/commitdiff
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)

No differences found