tree ead6cc07dedf7fbe3bb3c0219b6022547e463cd3
parent d025eb987e2211f95b0e8cd9ede3ec97c3a971f2
parent b79b44e1f3ad193e85ca4f5d39e9d888b2cc9de9
author Helge <stallkamp@ids-mannheim.de> 1575895485 +0100
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1575895485 +0100

Merge "Added Changes for result panel integration into plugin mechanism"