diff configure @ 13120:3c861fe67ff2

updates by Guillaume POIRIER <gpoirier@irisa.fr>
author diego
date Tue, 24 Aug 2004 19:08:29 +0000
parents fa7b25325f7e
children 96784ad2c469
line wrap: on
line diff