diff configure @ 15871:157c7a7edd68

Small fix
author gpoirier
date Thu, 30 Jun 2005 19:53:24 +0000
parents 1a3efcc32e85
children 6e35f80386e8
line wrap: on
line diff