tree 86e25cd0dca98352821c7e480630982569d0615f
parent cd21dc784800832cf952061034e52ce9733a4b11
author John Fleck <jfleck@src.gnome.org> 1004904838 +0000
committer John Fleck <jfleck@src.gnome.org> 1004904838 +0000

Sun Nov 4 13:11:41 MST 2001 John Fleck <jfleck@inkstain.net


Sun Nov  4 13:11:41 MST 2001 John Fleck <jfleck@inkstain.net

	* doc/xmllint.xml, xmllint.1 - updating xmllint man page to
	document --sgml option, fixing gnome bugzilla #63382