Mike Fährmann 62cc47755b
[nozomi] reduce memory consumption during searches (#2754)
only load and use the entire 'index.nozomi' database
if there are only negative search terms
2022-07-13 17:16:10 +02:00
..
2021-10-13 04:07:41 +02:00
2022-01-23 18:01:05 +01:00
2022-03-01 03:09:57 +01:00
2022-05-23 18:30:26 +02:00