mirror of
https://gitlab.gnome.org/GNOME/libxml2.git
synced 2025-03-11 12:58:16 +03:00
587867 xmllint --html --xmlout serializing as HTML
* xmllint.c: one option was needed after the switch to the new save API
This commit is contained in:
parent
48b60c3c4d
commit
9d96264721
Loading…
x
Reference in New Issue
Block a user