diff configure @ 80645:6b0ef5d1c3de

*** empty log message ***
author Michael Albinus <michael.albinus@gmx.de>
date Mon, 28 Jul 2008 03:56:41 +0000
parents 870dfda4d904
children fd95d41865f0
line wrap: on
line diff