tree 85b96067cca20503bce15f5b7106dcd0da632536
parent 2032d294acca82e64f60399695906336c64372b3
author MST 2003 John Fleck <jfleck@inkstain.net> 1048601117 +0000
committer John Fleck <jfleck@src.gnome.org> 1048601117 +0000

doc/xmllint.xml doc/xmllint.1 update xmllint man page with --relaxng


Tue Mar 25 07:02:56 MST 2003 John Fleck <jfleck@inkstain.net>

	* doc/xmllint.xml
	* doc/xmllint.1
	update xmllint man page with --relaxng option