diff DOCS/xml/Makefile.inc @ 14575:31ae29e095b6

Remove obsolete options.
author diego
date Sat, 22 Jan 2005 15:47:34 +0000
parents e589db41eb34
children 6555c01128b7
line wrap: on
line diff