Thu, 14 Apr 2011 19:02:35 +0100Deleting dead code.
Mario de Sousa <msousa@fe.up.pt> [Thu, 14 Apr 2011 19:02:35 +0100] rev 289
Deleting dead code.

Thu, 14 Apr 2011 18:55:31 +0100Merging changes.
Mario de Sousa <msousa@fe.up.pt> [Thu, 14 Apr 2011 18:55:31 +0100] rev 288
Merging changes.