diff configure @ 13416:f26b6434ce9f

Fixes suggested by Diego
author gpoirier
date Tue, 21 Sep 2004 10:07:14 +0000
parents b08f55cea9ce
children 0f92ad66bbb5
line wrap: on
line diff