tree 5a063d78047b8b1f3aaf5cc469927b7e9990875d
parent 4cefe1f785cd45efa8d7f967fdcf3f17d20d44dd
parent 87f1b1ff737841630c3777a0fd3f4f3ccafcc639
author Helge <stallkamp@ids-mannheim.de> 1568805239 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1568805239 +0200

Merge "Extended Guided Tour"