Commit 58d91b7f376198d4a6553ba36f888fe47c2b6003

Stefano Lattarini 2011-09-28T11:11:51

Merge branch 'maint' * maint: uninstall: "make uninstall" before "make install" works