tree badfa8349f6f9f73658792bf3ead1ceb7e876e9d
parent 29e4399d11095ac948b0186828501781a7e5d1de
author MST 2001 John Fleck <jfleck@inkstain.net> 1008303890 +0000
committer John Fleck <jfleck@src.gnome.org> 1008303890 +0000

*doc/xmllint.xml, xmllint.1 - document --dropdtd


Thu Dec 13 21:24:16 MST 2001 John Fleck <jfleck@inkstain.net>

	*doc/xmllint.xml, xmllint.1 - document --dropdtd