Wed, 08 Feb 2012 18:27:45 +0000Delete un-used code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 08 Feb 2012 18:27:45 +0000] rev 436
Delete un-used code.