Thu, 30 Aug 2012 16:44:29 +0100Add some comments.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 16:44:29 +0100] rev 650
Add some comments.

Thu, 30 Aug 2012 15:06:32 +0200Update configure script.
Manuele Conti <manuele.conti@sirius-es.it> [Thu, 30 Aug 2012 15:06:32 +0200] rev 649
Update configure script.