diff configure @ 2262:8cae22120633

gpl fix?
author arpi
date Thu, 18 Oct 2001 20:52:33 +0000
parents 09c01ef6a27d
children 9e059416eea6
line wrap: on
line diff