diff configure @ 481:e0e554997d3c integration_library

Merge from the default branch with a broken configure file
author mathieub <mathieu.barthet@eecs.qmul.ac.uk>
date Mon, 10 Oct 2011 22:45:50 +0100
parents afc6b5453fb9 c4071f97a471
children
line wrap: on
line diff