Revision 7e2ccf4a523fccc477ad56fc796bb598b3a84b12

Committed on 27/09/2018 1:38 pm by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

fix installer