diff options
author | w0rp <devw0rp@gmail.com> | 2017-07-17 00:17:59 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-07-17 00:17:59 +0100 |
commit | 23ea62d40a0661755672a8ab0707507c58019bf0 (patch) | |
tree | 282483c682d40aaa750e2eb3fb7ba7d8decb2f88 /ale_linters/c | |
parent | 3352a6c9df427204bcbffba78fdf65906d3966d0 (diff) | |
download | ale-23ea62d40a0661755672a8ab0707507c58019bf0.zip |
#711 - Make the cpplint executable configurable
Diffstat (limited to 'ale_linters/c')
0 files changed, 0 insertions, 0 deletions