tree 6817e2faee74217ed1b8cc60ad0d241b895500cc
parent 48b60c3c4d94a2aeb93ae9ff2181ad76b79eddd9
author Daniel Veillard <veillard@redhat.com> 1251034278 +0200
committer Daniel Veillard <veillard@redhat.com> 1251034278 +0200

587867 xmllint --html --xmlout serializing as HTML

* xmllint.c: one option was needed after the switch to the new save API