diff options
author | w0rp <w0rp@users.noreply.github.com> | 2019-09-12 23:00:34 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-12 23:00:34 +0100 |
commit | 61cfb3fefb0ebd8654be452046bd2ba24025311f (patch) | |
tree | ea77f2fb2ed24be967cdd18a41df0345ad429fcb /ale_linters/mercury/mmc.vim | |
parent | 321ee6d26bfbbc33dbf3a644fb7b0bd0cc8568bd (diff) | |
parent | b1810b27524f8474b85ad11f8c39861889d229bb (diff) | |
download | ale-61cfb3fefb0ebd8654be452046bd2ba24025311f.zip |
Merge pull request #2693 from elebow/chmod-remove-x
Remove +x bit from some files that don't need it.
Diffstat (limited to 'ale_linters/mercury/mmc.vim')
0 files changed, 0 insertions, 0 deletions