diff configure @ 8406:42051d4d69c3

last minute update
author arpi
date Sat, 07 Dec 2002 22:08:10 +0000
parents 59231cab01f7
children 2dd791127398
line wrap: on
line diff