]> git.plutz.net Git - shellwiki/commit
reindex after tree movement, bugfix in search filtering, improved search weighting
authorPaul Hänsch <paul@plutz.net>
Mon, 25 Sep 2023 14:05:00 +0000 (16:05 +0200)
committerPaul Hänsch <paul@plutz.net>
Mon, 25 Sep 2023 14:05:00 +0000 (16:05 +0200)
commit65b04e000d563f2347370cbf3e1e01cf2af0a168
tree8b0bccacc31e9b6b21fc48ebdd42132c9ceaac14
parent7c77b7ea9dca882837840bfe9508801bafeae472
reindex after tree movement, bugfix in search filtering, improved search weighting
handlers/40_search.sh
handlers/60_move_rename_delete.sh
index.cgi
parsers/40_indexer.sh
searchindex.sh