Revision 2ee7846a9844dda46e759cb83d38f3bebf9dddc3

Committed on 23/04/2020 3:20 pm by Luca Realdi <[email protected]> [GitHub Diff]

Add installer info