]> git.plutz.net Git - shellwiki/commit
projects / shellwiki / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e16cbbd) | patch
case insensitive search
authorPaul Hänsch <paul@plutz.net>
Fri, 22 Sep 2023 13:27:40 +0000 (15:27 +0200)
committerPaul Hänsch <paul@plutz.net>
Fri, 22 Sep 2023 13:27:40 +0000 (15:27 +0200)
commit368ca204df61a5e24c71d4697746603e2dcc94d5
treeb93c24b3c276c51908d089799e04c8016d91381dtree | snapshot
parente16cbbded1805c1cd2256b7679bd299dc4746579commit | diff
case insensitive search
handlers/40_search.sh diff | blob | history
Highly flexible Wiki and CMS with minimal dependencies. See https://plutz.net/software/ShellWiki/