Tue, 23 Aug 2011 14:15:12 +0100Add print version command line option.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 14:15:12 +0100] rev 362
Add print version command line option.

Tue, 23 Aug 2011 11:54:34 +0100Remove debugging printf() added by mistake in previous commit.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 11:54:34 +0100] rev 361
Remove debugging printf() added by mistake in previous commit.