diff configure @ 2261:ad85c07e20a8

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