diff configure @ 9243:84bd5a9b150c

Sync by Panagiotis Issaris <takis.issaris@skynet.be>.
author diego
date Mon, 03 Feb 2003 02:28:57 +0000
parents 7c12f4501ed6
children 32be26de0d7c
line wrap: on
line diff