diff DOCS/xml/configure @ 21956:1344492230fc

some simplifications
author diego
date Sat, 20 Jan 2007 21:39:21 +0000
parents 5aaf8dbd177e
children b49bc3a14c3c
line wrap: on
line diff