diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2018-08-28 23:36:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-28 23:36:00 +0100 |
| commit | ee3142b6016895b42840f6ba1a847672b410ae6e (patch) | |
| tree | 9d97cc6dd8485345459a0f0aec3237b6c9b9d46b /ale_linters/dafny | |
| parent | 79f02fce69a0dceb8bbbe2c6f5a7cebceaa34be6 (diff) | |
| parent | cc5ad6491f2b2c3bbd10e236b5b414e92464e6b7 (diff) | |
| download | ale-ee3142b6016895b42840f6ba1a847672b410ae6e.zip | |
Merge pull request #1866 from Steap/feature/xmllint-fixer
Add support for xmllint as a fixer.
Diffstat (limited to 'ale_linters/dafny')
0 files changed, 0 insertions, 0 deletions