diff configure @ 7491:87197e110b4f

accepted. so we're now 110% gpl...
author arpi
date Mon, 23 Sep 2002 19:02:21 +0000
parents d772e0caac7b
children 8b9be8b709c7
line wrap: on
line diff