Revision 7ef39dede76a1a38514e635683c0be358b2149f1

Committed on 06/10/2015 10:09 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

setlocale