diff configure @ 13046:ae4c33cf4bd2

minor fixes
author diego
date Wed, 18 Aug 2004 18:59:19 +0000
parents 9af70c5ff267
children 4e613c87c2f5
line wrap: on
line diff