Thu, 20 Dec 2012 10:46:51 +0100 Manuele Conti Merge with Mario's repository.
Thu, 20 Dec 2012 10:42:01 +0100 Manuele Conti Fix warning about call fprintf without format string.
Mon, 03 Dec 2012 18:44:16 +0000 Mario de Sousa merge