diff configure @ 13533:ff7a4e22a522

typo
author diego
date Sat, 02 Oct 2004 15:57:42 +0000
parents 20619c6203a0
children fc357e2c7328
line wrap: on
line diff