diff DOCS/xml/configure @ 14987:aa57bc6ccac7

synced with 1.13
author gabrov
date Tue, 22 Mar 2005 16:14:49 +0000
parents cedde9834a7a
children f3617970ae22
line wrap: on
line diff