diff configure @ 11355:a9a15b678c1a

two small fixes by Maciej Paszta <paszczi@go2.pl>
author diego
date Sun, 02 Nov 2003 08:35:14 +0000
parents dce7219bed77
children ea97f7474269
line wrap: on
line diff