diff configure @ 15207:12b58dfa0939

Fixes suggested by The Wanderer
author rtognimp
date Sun, 17 Apr 2005 19:51:07 +0000
parents 7706a3bef8a3
children e84a6ae9d51e
line wrap: on
line diff