diff configure @ 8679:d2c93957661a

some more
author arpi
date Tue, 31 Dec 2002 16:06:38 +0000
parents 30bb40f02e1e
children 9032b2e79480
line wrap: on
line diff