diff options
author | w0rp <devw0rp@gmail.com> | 2017-09-03 23:36:58 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-09-03 23:36:58 +0100 |
commit | 984c4f06587a1519eeaef48c813b44cdbb5f7b1f (patch) | |
tree | 14ff428fb5d1fd03e966beb34818928615486243 /.gitignore | |
parent | 1ea5400e8d26c1ebb99912cace5faaffa8c270bf (diff) | |
download | ale-984c4f06587a1519eeaef48c813b44cdbb5f7b1f.zip |
Document the new lintr option
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions