diff configure @ 8066:956562173bbe

some updates
author arpi
date Sun, 03 Nov 2002 00:21:20 +0000
parents c34100c609ee
children b3b2951cbc1c
line wrap: on
line diff