tree c6c3ac62d7bd4e111c591748e3017186272b9c68
parent c455ec795ab573b54b16b94ee9de8d42738715fb
parent 7c6e05f8f64af355eaea157783851611b53a5c7f
author Helge <stallkamp@ids-mannheim.de> 1532080469 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1532080469 +0200

Merge "Added example plugin registry"