tree a25cc513806533c3fa52e96b3fab3b23ff677641
parent 7b9a196be524d55a3067d03f57f9f90191d762db
parent 728bbe0a079d685f535337faab75ee47c0ba6cf7
author Akron <diewald@ids-mannheim.de> 1594113535 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1594113535 +0200

Merge "Slightly improve docker description"