diff configure @ 17145:c83fa08bf4da

some sync with the present day situation
author diego
date Fri, 09 Dec 2005 00:25:50 +0000
parents 2f4f6c278741
children 551fc76f7b35
line wrap: on
line diff