]> git.plutz.net Git - shellwiki/commit
separate word index by unicode punctuation
authorPaul Hänsch <paul@plutz.net>
Fri, 22 Sep 2023 13:26:12 +0000 (15:26 +0200)
committerPaul Hänsch <paul@plutz.net>
Fri, 22 Sep 2023 13:26:12 +0000 (15:26 +0200)
commite16cbbded1805c1cd2256b7679bd299dc4746579
tree76be6db3a4fb047999f3956adc1a815dbc45170f
parent0befccc1274549229b77d50c1b8b24d6c4cf5403
separate word index by unicode punctuation
handlers/40_search.sh
parsers/40_indexer.sh