diff configure @ 14745:bb78c0613aaa

small updates
author diego
date Mon, 21 Feb 2005 09:25:00 +0000
parents 408d14601dca
children 57541bc7b796
line wrap: on
line diff