diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2019-06-08 23:09:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-08 23:09:09 +0100 |
| commit | 3aa58ca1796a57707e321645c4d9a49c84f5fdb4 (patch) | |
| tree | 815b6de36a76c4049e8f5a617133bed257709a4f /test/tex_files | |
| parent | 5826b4927ca7eb81c717f22a3b6051dd6d8f6c51 (diff) | |
| parent | 3b8fb39b4a9f78d00d3142c9f03bb79e06661964 (diff) | |
| download | ale-3aa58ca1796a57707e321645c4d9a49c84f5fdb4.zip | |
Merge pull request #2565 from Tharre/master
Run xml linters on xsd and xslt files
Diffstat (limited to 'test/tex_files')
0 files changed, 0 insertions, 0 deletions