tree b3203d86452b5df6ba25523d42a47f487b7d52c0
parent 2f31e07b5ad555af1087dd6c6e4a28a6219ebc13
parent 793126fbd073cb0e3d6dd08d1ebbca354fb21672
author margaretha <margaretha@ids-mannheim.de> 1713257386 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1713257386 +0200

Merge "Make VC cache location customizable."