diff options
| author | Eddie Lebow <elebow@users.noreply.github.com> | 2019-08-13 00:28:31 -0400 |
|---|---|---|
| committer | Eddie Lebow <elebow@users.noreply.github.com> | 2019-08-13 00:28:31 -0400 |
| commit | b1810b27524f8474b85ad11f8c39861889d229bb (patch) | |
| tree | 0787b16fa7de15e25985103f4ed7cb81ff136fd6 /ale_linters/mercury | |
| parent | 28c93ab1854ef41a46855401cc4addbaf7dfb9d4 (diff) | |
| download | ale-b1810b27524f8474b85ad11f8c39861889d229bb.zip | |
Remove +x bit from some files that don't need it.
Diffstat (limited to 'ale_linters/mercury')
0 files changed, 0 insertions, 0 deletions