tree a419f28123a27116182ab8157460c213807bfe16
parent f7dbe3348cbca972d848b4b3c632df4dce6003f7
author margaretha <margaretha@ids-mannheim.de> 1466153584 +0200
committer margaretha <margaretha@ids-mannheim.de> 1466153584 +0200

Updated the installation procedure.

Change-Id: If051a6fb19d57c70ed37ae748afcae5883158b4a