tree 896fa226a018aa5f917f4fa07125e2e05bf8dfed
parent 4aa3d5080fabcc42214c6d28d481a161e439a286
author Marc Kupietz <kupietz@ids-mannheim.de> 1592832523 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1592832523 +0200

Fix headings in installation instructions

Change-Id: Ie3031f0b1f3ae4a467da1b0d8a404f8c5ad90df8