Revision 02505926d90904a7c71143cda128c445356a59a2

Committed on 25/01/2019 1:34 am by Philippe <[email protected]> [GitHub Diff]

Initial commit with a proper installation