diff configure @ 10463:070a4a5a3e74

small correction
author diego
date Thu, 24 Jul 2003 10:43:07 +0000
parents 8d7ca7c06ca6
children 75b8b4340d84
line wrap: on
line diff