diff configure @ 6468:6cf0e246e15d

Atmos says this is clearer and he is right.
author diego
date Thu, 20 Jun 2002 10:26:11 +0000
parents 07ffd7003dd8
children 9df67606ef53
line wrap: on
line diff