diff configure @ 8019:ad8d6f993c81

cosmetics requested by kabi
author michael
date Fri, 01 Nov 2002 01:19:04 +0000
parents 892c73ce9ba3
children e6cadb79f668
line wrap: on
line diff