Thu, 25 Aug 2011 17:55:48 +0100Ignore underscores when extracting value of integer.
Mario de Sousa <msousa@fe.up.pt> [Thu, 25 Aug 2011 17:55:48 +0100] rev 366
Ignore underscores when extracting value of integer.

Tue, 23 Aug 2011 17:18:37 +0100Deleting unused code.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 17:18:37 +0100] rev 365
Deleting unused code.