Commit d0dc58135ac93392ff596e8f9e996a62ed0e42a5

Daniel Veillard 2014-10-10T15:35:10

Removal of old configure.in