tree c6ebb8568c78bcba668a4a30bc3a515198d95ffb
parent c93f9061636c038cdedc4e8c3f4cc5ec8efc7174
parent e1c27f691fbb530c378360a1a4caab4cf25297e4
author Helge <stallkamp@ids-mannheim.de> 1532080479 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1532080479 +0200

Merge "Adopt panel system for plugins"