]> git.plutz.net Git - shellwiki/commitdiff
bugfix: accidentally wiped search index when pruning
authorPaul Hänsch <paul@plutz.net>
Wed, 28 Feb 2024 14:57:10 +0000 (15:57 +0100)
committerPaul Hänsch <paul@plutz.net>
Wed, 28 Feb 2024 14:57:10 +0000 (15:57 +0100)

No differences found