diff misc/superconfigure @ 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 ba928954e640
children
line wrap: on
line diff