diff configure @ 7061:33624384dd7b

Typos, cosmetics and a tag closed.
author diego
date Wed, 21 Aug 2002 22:58:19 +0000
parents 2e5c07262861
children ee5e9d11dc46
line wrap: on
line diff