| commit | 027edfb741b835ae4b93564e8b980ab980703995 | [log] [tgz] |
|---|---|---|
| author | John Fleck <jfleck@src.gnome.org> | Sun Nov 04 20:13:58 2001 +0000 |
| committer | John Fleck <jfleck@src.gnome.org> | Sun Nov 04 20:13:58 2001 +0000 |
| tree | 86e25cd0dca98352821c7e480630982569d0615f | |
| parent | cd21dc784800832cf952061034e52ce9733a4b11 [diff] |
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