Revision bf784394d482d8846b35b474b781b8fca0d33a7a

Committed on 09/12/2017 4:49 am by Ramzi Arfaoui <ramzi_arfa@hotmail.de> [GitHub Diff]

change install procedure