tree e6c5cfad6fd400c829d8348cb486cfbba98d0b68
parent 55bdb94f6f4a7dd3208b9f1a8c4a389ef1f12a55
parent 7991b1974d42caa4ab7a2f9ffde16d6298ec9413
author Helge <stallkamp@ids-mannheim.de> 1532080466 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1532080466 +0200

Merge "Pass a name to widgets"