]> git.plutz.net Git - shellwiki/search
bugfix: accidentally wiped search index when pruning