diff configure @ 3749:99de682ffb84

make users happy - this is xmas, isn't it?
author arpi
date Tue, 25 Dec 2001 22:00:15 +0000
parents bd99dedefa01
children 6d0283908517
line wrap: on
line diff