diff configure @ 1253:87a31bbadd9a

Minor fixes
author nick
date Mon, 02 Jul 2001 08:07:41 +0000
parents 2de2adc3d074
children 50b8a3a5eeed
line wrap: on
line diff