diff etc/enriched.doc @ 50081:9431fa452e95

(xml-skip-dtd): Fix parsing of DOCTYPE.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 11 Mar 2003 21:57:46 +0000
parents 07abc8d4c648
children d6e9f4f22388 d7ddb3e565de
line wrap: on
line diff