diff configure @ 80596:d1a7e8369014

*** empty log message ***
author Michael Albinus <michael.albinus@gmx.de>
date Wed, 11 Jun 2008 17:31:02 +0000
parents 6452b45858e3
children e0b346f6a4f3 a0615a586d39
line wrap: on
line diff