Sun, 07 Oct 2012 09:33:42 +0100Delete unused variables.
Mario de Sousa <msousa@fe.up.pt> [Sun, 07 Oct 2012 09:33:42 +0100] rev 673
Delete unused variables.