diff configure @ 21383:3d28035a0319

fix suggested by Diego
author gpoirier
date Thu, 30 Nov 2006 12:50:34 +0000
parents 8618755f2c06
children efa3a5d013fe
line wrap: on
line diff