mirror of
https://gitlab.gnome.org/GNOME/libxml2.git
synced 2026-01-18 14:21:02 +03:00
* xmllint.c doc/xmllint.xml doc/xmllint.1: added option --dtdvalidfpi for Tobias Reif Daniel
18 KiB
18 KiB