tree 215bbe6031d3c45a4aa103014fc08b5fed8835f4
parent 125ac67e1092d8ac5d98321a34ecfeac59dae4c9
parent a6c32b9e8608fdf8f3ded041f0fc1b7639e8ed1a
author Helge <stallkamp@ids-mannheim.de> 1532080427 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1532080427 +0200

Merge "Introduce widget class"