diff configure.in @ 94976:6c274ef55b8d

*** empty log message ***
author Michael Albinus <michael.albinus@gmx.de>
date Wed, 14 May 2008 19:55:11 +0000
parents 73aea1b3e254
children 6b06cfc96ec7
line wrap: on
line diff