]> git.plutz.net Git - shellwiki/commit
use tags (#positive and !negative) in search
authorPaul Hänsch <paul@plutz.net>
Tue, 19 Mar 2024 11:10:33 +0000 (12:10 +0100)
committerPaul Hänsch <paul@plutz.net>
Tue, 19 Mar 2024 11:10:33 +0000 (12:10 +0100)
commit6d62de4f9aa16fb129513fa38c60158bfde36f16
treec20b2770dbdaedb6a650e751777ff154af997643
parentd57f36c0b200bdfaa93def032fed6c946ba9c385
use tags (#positive and !negative) in search
handlers/40_search.sh
themes/default.sh