tree 94432d85caa1f4b6f955837c2f8cc6e0d5cd7af9
parent 4e1d476e1c09316c32cb88bdf865768ea0e0eb6f
author margaretha <margaretha@ids-mannheim.de> 1683298309 +0200
committer margaretha <margaretha@ids-mannheim.de> 1683632453 +0200

Added maximum number of user persistent virtual corpora and queries

Change-Id: I6bbf17ed9cc68203908208c0bc46f81e55fe0d8a