diff configure @ 14165:0846071c22cb

Fixes suggested by Diego
author gpoirier
date Wed, 15 Dec 2004 22:53:13 +0000
parents 8500cd45f35b
children 5b5ebf93ec16
line wrap: on
line diff