tree 6554c780880a91d18577775b79d04723dbbce617
parent 36f4f21c29a20dd5f1836963f3b892cc3864d79f
author Marc Kupietz <kupietz@ids-mannheim.de> 1637226635 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1637226808 +0100

Update installation instructions for Linux

Thanks @Rainer

Tested on a fresh Ubuntu 20.04 LTS install.

Change-Id: Ia820a621bfd4e6b3d1ff5313e443841886c2b59a