diff scripts/configure.in @ 3979:e0b7a493e5a8

[project @ 2002-07-10 17:45:34 by jwe]
author jwe
date Wed, 10 Jul 2002 17:45:34 +0000
parents 7da18459c08b
children 2168f4a0e88d
line wrap: on
line diff