commit | 4230404621d2d15898cac30ae069f68b261f3aec | [log] [tgz] |
---|---|---|
author | MST 2001 John Fleck <jfleck@inkstain.net> | Sun Nov 18 00:18:06 2001 +0000 |
committer | John Fleck <jfleck@src.gnome.org> | Sun Nov 18 00:18:06 2001 +0000 |
tree | f2afe8d0650544065d973abd07d157686ee2dcf0 | |
parent | f7b094f7ee2a9a7f2f9f05c7390a199c950ec131 [diff] |
doc/xmllint.xml, doc/xmllint.1 - update xmllint man page with shell Sat Nov 17 17:16:51 MST 2001 John Fleck <jfleck@inkstain.net> * doc/xmllint.xml, doc/xmllint.1 - update xmllint man page with shell instructions from Heiko Rupp