tree 05862375eda83c092d969bcd3c19f9ece2931ca5
parent 90265675d2cd73cef1f6d3864a17b059fcdd31da
author Marc Kupietz <kupietz@ids-mannheim.de> 1724781061 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1724781805 +0200

Add optional slimming instruction to README.md

Change-Id: I0321bacf2cb628dbdc8e0280cd311aee2e002e83