diff options
| author | q12321q <q12321q@gmail.com> | 2017-05-18 10:31:12 +0200 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2017-05-18 09:31:12 +0100 |
| commit | cdf0fb39e532b0e0ed67ac8dcd088b58d822b74e (patch) | |
| tree | 912b27dfcf41db0f879d9f6ae214b2aca9ef2af0 /test/test_history_saving.vader | |
| parent | 3ca70cb841aa352eef56545e72188d0420cfa3f2 (diff) | |
| download | ale-cdf0fb39e532b0e0ed67ac8dcd088b58d822b74e.zip | |
Add xmllint linter (#559)
* Add xmllint linter for xml
Diffstat (limited to 'test/test_history_saving.vader')
0 files changed, 0 insertions, 0 deletions