diff configure @ 8848:d98f312051fd

10l noticed by Joe Barnett <sanchezthecactus@yahoo.com>
author arpi
date Thu, 09 Jan 2003 09:27:51 +0000
parents 0c0b84a656fe
children d2cb317c7f16
line wrap: on
line diff