tree 0c65fd5ae92f44c10150e86da2a86bad5f9917f5
parent ab88a92ec5d0c40487920505cdbc6393ceca15bd
parent e5dfaefe29fa554d7b4d943d9e6efc1616cc766f
author Bodmo <Bodmer@ids-mannheim.de> 1705398544 +0100
committer Bodmo <Bodmer@ids-mannheim.de> 1705398544 +0100

Merge branch 'opPROX' of ssh://korap.ids-mannheim.de:29418/KorAP/Koral into opPROX

Change-Id: I4a066545ecdf4fd73463453b0a36e66421773d76