tree 2be213eaec3e367011bf4e31328528bdc8924c7b
parent 58ae25969cf6da0aa87d15d426b3450bd5f7debf
parent 617d6a2cc5a73db20fb344ae8f6a5b56f2904951
author Helge <stallkamp@ids-mannheim.de> 1532080463 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1532080463 +0200

Merge "Fixed widget height calculation"