diff configure @ 9935:cb685216dc73

cosmetic
author michael
date Sat, 19 Apr 2003 02:55:26 +0000
parents 2f7ff7b636e7
children 946c000ca531
line wrap: on
line diff