tree 70377b7533a5b5a7f85714375d02ada334277e7b
parent 87f829729e7c59ff1742a78468b2735340bc632e
parent e8e2c9567cb6eeb4ba298f6b4d6a89a3bf022aa8
author Helge <stallkamp@ids-mannheim.de> 1532080438 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1532080438 +0200

Merge "Fixed resizing of widgets"