tree 81884c15d03e653332e8c0735b5f47b66a3345a6
parent 6b6d470ad3fc9c1b6e7bdc9b12ff55f7d0ee3fdd
author Marc Kupietz <kupietz@ids-mannheim.de> 1726300418 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1726300418 +0200

Fix parallel builds: only build final index incrementally