Tue, 23 Aug 2011 16:28:03 +0100Removing Makefiles made redundant by autotools.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 16:28:03 +0100] rev 364
Removing Makefiles made redundant by autotools.