diff DOCS/xml/Makefile @ 16458:c35ed5cdf07e

Respect -nodouble even though it looks very bad.
author reimar
date Sun, 11 Sep 2005 17:45:12 +0000
parents c047b2d7f7ce
children 4c590d768a07
line wrap: on
line diff