diff configure @ 10111:a570a78537aa

various fixes and updates
author nicolas
date Fri, 16 May 2003 13:30:51 +0000
parents 7b338ec311e2
children d42177a0da2a
line wrap: on
line diff