tree b33d799b7fd2339395a49ae52906a4b2b28bede8
parent 8db0e1f831d5b9ce5630323cecd6a8c0b1641aa0
author Helge <stallkamp@ids-mannheim.de> 1742834428 +0100
committer Helge <stallkamp@ids-mannheim.de> 1742835131 +0100

Checks if tutorial exists before hiding it

Change-Id: I64798ae1a04366a415dbd4d6a3c65166ba3ca0a5