Sat, 01 Dec 2012 11:27:48 +0000Protect against redefining macros
mjsousa [Sat, 01 Dec 2012 11:27:48 +0000] rev 760
Protect against redefining macros

Tue, 27 Nov 2012 17:20:16 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Tue, 27 Nov 2012 17:20:16 +0000] rev 759
merge