diff configure @ 16387:8f347723d3b3

Fixes suggested by Diego
author gpoirier
date Sun, 04 Sep 2005 16:57:51 +0000
parents e2e231134056
children cdd649f1de0b
line wrap: on
line diff