]> git.plutz.net Git - shellwiki/commit
projects / shellwiki / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87830ec) | patch
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)
commitb4397ac91fa17972c4820da7d3acf80ecd6f93ba
tree036e2fe920bde4fff51e8872792f9f480cdae781tree | snapshot
parent87830ec8c62831988b985b90c1a6790e6b906e5dcommit | diff
bugfix: accidentally wiped search index when pruning
searchindex.sh diff | blob | history
Highly flexible Wiki and CMS with minimal dependencies. See https://plutz.net/software/ShellWiki/