Thu, 01 Sep 2011 21:32:57 +0200Fix make on system without mercurial installed.
Manuele Conti <conti.ma@alice.it> [Thu, 01 Sep 2011 21:32:57 +0200] rev 374
Fix make on system without mercurial installed.

Wed, 31 Aug 2011 19:29:47 +0100delete code no longer needed.
Mario de Sousa <msousa@fe.up.pt> [Wed, 31 Aug 2011 19:29:47 +0100] rev 373
delete code no longer needed.