diff options
| author | Horacio Sanson <hsanson@gmail.com> | 2021-02-23 16:48:42 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-23 16:48:42 +0900 |
| commit | 76965615558e9398ef4cc79991632a7b68a6c7bc (patch) | |
| tree | 68e84130f71bda1823b3223df3b5f35b129775b6 /ale_linters/dafny | |
| parent | 90b9597d500c528d46aa13ccfa678a86ef7ea22b (diff) | |
| download | ale-76965615558e9398ef4cc79991632a7b68a6c7bc.zip | |
Fix 3537 - remove -T argument from ruby linter (#3538)
Co-authored-by: Horacio Sanson <horacio@allm.inc>
Diffstat (limited to 'ale_linters/dafny')
0 files changed, 0 insertions, 0 deletions