diff configure @ 6102:d0e8200b31e9

bugfixes by ugk8 <ugk8@rz.uni-karlsruhe.de>
author jaf
date Thu, 16 May 2002 12:00:24 +0000
parents 8a7bcb49686f
children 52d3be44225b
line wrap: on
line diff