diff DOCS/xml/configure @ 22323:db082b1a4e77

cosmetics: reindented
author nicodvb
date Sun, 25 Feb 2007 14:33:19 +0000
parents b49bc3a14c3c
children e204544de710
line wrap: on
line diff