diff configure @ 6090:a44bc6314a30

patch by Diego Biurrun <diego@biurrun.de>: - binary distribution is now allowed
author pl
date Tue, 14 May 2002 12:15:32 +0000
parents 99d7f3e033ae
children 8a7bcb49686f
line wrap: on
line diff