tree 09f5752ce3cf70e241eae0bf43e984a742d209a2
parent 8155fd3fbe501deb3432b83372a0393cc3096be3
parent 10a4796136d000df7546ce7149f14d57d8658155
author Helge <stallkamp@ids-mannheim.de> 1532080473 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1532080473 +0200

Merge "Simplified plugin registration and improved registration checks"