diff configure @ 10132:c1b56a757f85

sync
author nicolas
date Mon, 19 May 2003 17:18:05 +0000
parents e7fd61bf7f57
children d72aabc36ca1
line wrap: on
line diff