commit | 2ae05c7e95b5bc875583ddc520812ab5b4d9fa9e | [log] [tgz] |
---|---|---|
author | MDT 2003 John Fleck <jfleck@inkstain.net> | Wed Jul 23 01:43:53 2003 +0000 |
committer | John Fleck <jfleck@src.gnome.org> | Wed Jul 23 01:43:53 2003 +0000 |
tree | 6cca01647b6764a762795bc65ec453439f7f0fcf | |
parent | 8edf1c5c6c2d16fb43d3ab1d0ba9fd8c9413e725 [diff] |
doc/xmllint.html include html version of the xmllint man page, so an Tue Jul 22 19:42:15 MDT 2003 John Fleck <jfleck@inkstain.net> * doc/xmllint.html include html version of the xmllint man page, so an up-to-date version is visible on the Web