diff DOCS/xml/configure @ 11539:2364dda5fe7e

bug fixes, cleanup, consistency, uniformity
author diego
date Sun, 30 Nov 2003 03:10:46 +0000
parents bb3e24e796eb
children 19919e913e3d
line wrap: on
line diff