tree 8dbcb21e7d2b96141a7d19b4452744997839068a
parent e91da7807ec601afb7b0e764e784668987b36b6e
parent acffc65d2337f2f5f441bc5a3b2090736a44fd19
author Akron <diewald@ids-mannheim.de> 1513785194 +0100
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1513785194 +0100

Merge "Support space-separated multi-prefixes in menus"