tree e6d06e001d71ffe426707a3bf2330ba3caa4d426
parent 7b0fbf900ed26fabbdcc13344234aca417feccbe
parent e6245a505b2d371bf0c99810efb2f4884f0040a7
author Helge <stallkamp@ids-mannheim.de> 1626855601 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1626855601 +0200

Merge "Make buttongroup available in plugins"