diff scripts/configure.in @ 3975:1339486fb498

[project @ 2002-07-04 17:42:59 by jwe]
author jwe
date Thu, 04 Jul 2002 17:43:00 +0000
parents 7da18459c08b
children 2168f4a0e88d
line wrap: on
line diff