Tue, 27 Nov 2012 23:47:22 +0100 Manuele Conti Merge with Mario's changes.
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.