tree 1799866b2ef90b37b98016910770ff6009491f34
parent 7bbdb25b65a103dbe692e996bf49ce8e4e26bd10
parent 479994e84950e43d2362c9b155496c6a85a02a0d
author Helge <stallkamp@ids-mannheim.de> 1532080410 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1532080410 +0200

Merge "Initial approach to a widget based plugin system"