tree 112c90287bd05074fc8948e383e6d906bc259b7a
parent 76904711f6e26d770b028c4335463528e1dfe7ed
parent fd79fb5927b71a39b52175d00a6e279cfed0c846
author margaretha <margaretha@ids-mannheim.de> 1713257371 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1713257371 +0200

Merge "Added getDocBitsSupplier to VirtualCorpusFilter"