tree 0bb99f8e043697afef8c1d42eec348f82f4e4f94
parent 3d4687fe267bd870f010457a0d8d25d2df58f210
author Helge <stallkamp@ids-mannheim.de> 1731329887 +0100
committer Helge <stallkamp@ids-mannheim.de> 1731329887 +0100

Fixes style of headline in guided tour

Change-Id: I13416c367c4a75e04fb8d078eb4d10a9e4546189