]> git.plutz.net Git - shellwiki/commit
projects / shellwiki / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 96c0bf3) | patch
filter foreign languages and system pages from search results
authorPaul Hänsch <paul@plutz.net>
Fri, 22 Sep 2023 15:26:37 +0000 (17:26 +0200)
committerPaul Hänsch <paul@plutz.net>
Fri, 22 Sep 2023 15:26:37 +0000 (17:26 +0200)
commit9093deb385bb32eddd5149cd68c3eecb65a9c415
tree5582dc3be60e7ce906892fc12df0b1905aa0c9c3tree | snapshot
parent96c0bf3977695c229e0771c3675f5ed5f9ebca4fcommit | diff
filter foreign languages and system pages from search results
handlers/40_search.sh diff | blob | history
Highly flexible Wiki and CMS with minimal dependencies. See https://plutz.net/software/ShellWiki/