diff configure @ 3347:21af9f3d5372

Minor fixes
author nick
date Thu, 06 Dec 2001 10:21:02 +0000
parents c8adf1374d42
children 2ef511fe1f57
line wrap: on
line diff