Revision e1b2f8b93336a6b651168d7328f07ff086042bef

Committed on 26/06/2019 4:11 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Rimuove inclusione di html5.js che produce un 404