diff configure @ 13285:2643689f164f

Synced with 1.707
author danny
date Wed, 08 Sep 2004 09:42:05 +0000
parents 99b14d9c50d5
children 2bfd09c32fba
line wrap: on
line diff