Revision 917003ddf4eec8af9c401da833866666edaf0fe1

Committed on 03/03/2020 1:19 am by Luca Realdi <[email protected]> [GitHub Diff]

Legge il file VERSION (se presente) per esporre la versione corrente nei credits