Revision 8deab3dc20ca6812aaf6c6ca6392299309764383

Committed on 11/12/2015 8:50 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

remove non utf8 chars