tree 70a09e7576edc0e5fa9149303701a4d3fb737530
parent 416394ccf46b9f54b9e064806cb7535833c6fc08
author margaretha <margaretha@ids-mannheim.de> 1638196274 +0100
committer margaretha <margaretha@ids-mannheim.de> 1638953421 +0100

Added a delete method to VirtualCorpusCache.

Change-Id: I084e942ca7ce3e5292c85ef47c0cbc8b5824f724