diff configure @ 240:e8961a95b3d6 integration_library

Merge from the default branch
author mathieub <mathieu.barthet@eecs.qmul.ac.uk>
date Tue, 23 Aug 2011 12:03:55 +0100
parents ee31e2f3a0f1
children 819fd4147acf
line wrap: on
line diff