diff configure @ 14760:eed290f1e53b

fixes for previous commits
author wight
date Tue, 22 Feb 2005 12:53:31 +0000
parents 8c1d40548612
children f6284dd2516e
line wrap: on
line diff