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