diff configure @ 13413:725f3fe7a97c

typo
author diego
date Tue, 21 Sep 2004 08:30:36 +0000
parents b08f55cea9ce
children 0f92ad66bbb5
line wrap: on
line diff