diff configure @ 17253:338e5704c5b1

fixes suggested by Diego
author gpoirier
date Tue, 27 Dec 2005 13:01:22 +0000
parents 44c24de55f9d
children b62c2fdbcde9
line wrap: on
line diff