Commit 8a92629d3394c6d6b814b64d49126a7aacfc5ea7

Daniel Veillard 2001-06-07T11:20:20

- HTMLtree.c: when in a pre element no formatting space should be added. Daniel