diff configure.in @ 97262:fdf8e9052078

*** empty log message ***
author Michael Albinus <michael.albinus@gmx.de>
date Mon, 04 Aug 2008 12:42:28 +0000
parents 840bd675fd85
children 446c48795aa8
line wrap: on
line diff