diff options
author | Norbert Preining <norbert@preining.info> | 2021-05-12 03:01:15 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2021-05-12 03:01:15 +0000 |
commit | bcdf6c829c6761de02484473ebe43fa3760adcaa (patch) | |
tree | de384ae80a1a9e34f900739a9478f92a0660a9ef /support/TeX4ht/source/extra-bin/xmllint | |
parent | 4a8a25f4c6acac624cf323115db94d934b19d6b1 (diff) |
CTAN sync 202105120301
Diffstat (limited to 'support/TeX4ht/source/extra-bin/xmllint')
-rw-r--r-- | support/TeX4ht/source/extra-bin/xmllint | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/support/TeX4ht/source/extra-bin/xmllint b/support/TeX4ht/source/extra-bin/xmllint new file mode 100644 index 0000000000..af3a4e4bec --- /dev/null +++ b/support/TeX4ht/source/extra-bin/xmllint @@ -0,0 +1,2 @@ +#!/bin/sh +true |