Fri, 19 Aug 2011 21:53:11 +0100Some more comments on how to build, and correcting name of README.build file.
Mario de Sousa <msousa@fe.up.pt> [Fri, 19 Aug 2011 21:53:11 +0100] rev 357
Some more comments on how to build, and correcting name of README.build file.