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.