diff options
| author | w0rp <devw0rp@gmail.com> | 2017-09-02 16:57:01 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-09-02 16:57:01 +0100 |
| commit | f9b43a566c156efa28e0e5d5d4ecea76a19672dd (patch) | |
| tree | ef963166da4b86a5d06e5a85a40757c42a031804 /Dockerfile | |
| parent | 52eff3bd83a6fb99559c8b9ae693fb965bd6520c (diff) | |
| download | ale-f9b43a566c156efa28e0e5d5d4ecea76a19672dd.zip | |
#505 - Do not lint files on enter if the option for linting when the filetype changed is on
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions