diff configure @ 10235:1129ff2d25c6

unused
author alex
date Sun, 01 Jun 2003 22:10:44 +0000
parents dd32fe16a36c
children d275152390ee
line wrap: on
line diff