diff options
| author | w0rp <devw0rp@gmail.com> | 2018-04-24 21:48:33 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-04-24 21:48:33 +0100 |
| commit | 41c0b837aec7770612274df1078ceddb6accd3f7 (patch) | |
| tree | 7f6712e1b2fdfb7e017440b7c00e20f41824a160 /.gitignore | |
| parent | ebbf7d0353d9d5d3ecc42bddd50e270ba60e5243 (diff) | |
| download | ale-41c0b837aec7770612274df1078ceddb6accd3f7.zip | |
#1278 Allow linters to be defined pretty much anywhere
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions