tree cea6ed371bc20d33aae3339db5ae99b5a7fd7a19
parent 41a190ac373c00af7e4432fb4a4e363ca9af79b2
parent f95226b5be91de31bf9445feb9729594959a9106
author Helge <stallkamp@ids-mannheim.de> 1571907174 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1571907174 +0200

Merge "Open hint and QL menu in the guided tour"