diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-07-22 20:46:12 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-07-23 18:26:48 +0200 |
| commit | 8e41c388679aedc12eb1a7a7aff1b4818040ff4a (patch) | |
| tree | e89fe48bfe21b2ed6e28decd1dd6f2250d41f7a0 /doc/manual/command-ref/opt-common-syn.xml | |
| parent | e0ea3c82ca9e46359c55c9f716fec016f8d483ea (diff) | |
Remove references to xmllint
Diffstat (limited to 'doc/manual/command-ref/opt-common-syn.xml')
0 files changed, 0 insertions, 0 deletions