diff DOCS/xml/configure @ 25025:ff136e30da72

removed forgotten and out of date comment
author nicodvb
date Wed, 14 Nov 2007 22:26:14 +0000
parents e204544de710
children 69e007ee01d6
line wrap: on
line diff