diff configure @ 821:82bd5187d6d8

Tiny changes in debian part. No need for setup.sh.
author eyck
date Thu, 17 May 2001 11:47:00 +0000
parents 291de1f95724
children 67fe2eebe542
line wrap: on
line diff