diff options
| author | w0rp <devw0rp@gmail.com> | 2020-08-18 23:03:43 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2020-08-18 23:03:43 +0100 |
| commit | 5eda1df0a96e691ebf24e5d8a3585c2feb2a48a3 (patch) | |
| tree | f6495a88666d59f44719b36276d1631d96d662aa /ale_linters/mercury | |
| parent | 4df352eee585cf50edb208aea713fe1a67ac4094 (diff) | |
| download | ale-5eda1df0a96e691ebf24e5d8a3585c2feb2a48a3.zip | |
Remove features deprecated in previous versions
Diffstat (limited to 'ale_linters/mercury')
0 files changed, 0 insertions, 0 deletions