diff configure @ 8340:a17ce1496ca6

cleanup
author michael
date Wed, 04 Dec 2002 11:53:47 +0000
parents cd02bf201f38
children 86835828d5b5
line wrap: on
line diff