diff configure @ 15231:e183a591efee

More fixes by The Wanderer
author rtognimp
date Wed, 20 Apr 2005 22:07:08 +0000
parents 7706a3bef8a3
children e84a6ae9d51e
line wrap: on
line diff