]>
2023-09-23 | Paul Hänsch | Merge commit '93889092574b7deb38da16f67bd5e3d744a94b86' | blob | commitdiff | raw |
2023-09-22 | Paul Hänsch | much faster indexer (but will require maintenance via... | blob | commitdiff | raw |
2023-09-22 | Paul Hänsch | bugfix: backslash escaping | blob | commitdiff | raw | diff to current |
2023-09-22 | Paul Hänsch | separate word index by unicode punctuation | blob | commitdiff | raw | diff to current |
2023-09-22 | Paul Hänsch | eliminate race condition in index time stamping | blob | commitdiff | raw | diff to current |
2023-09-22 | Paul Hänsch | treat %XX URL sequences as field stop in indexing,... | blob | commitdiff | raw | diff to current |
2023-09-21 | Paul Hänsch | introducing text indexer | blob | commitdiff | raw | diff to current |