diff DOCS/xml/configure @ 13529:da4d3b99d779

Obsolete and unused message removed.
author diego
date Sat, 02 Oct 2004 12:51:53 +0000
parents 3e1621c24f79
children cedde9834a7a
line wrap: on
line diff