diff configure @ 7807:5cd172eeaf23

removed the mess
author alex
date Sat, 19 Oct 2002 20:56:28 +0000
parents 36170c5a3c9a
children c81e5a7f5862
line wrap: on
line diff