diff options
author | Mark Korondi <korondi.mark@gmail.com> | 2017-06-08 19:26:21 +0200 |
---|---|---|
committer | w0rp <w0rp@users.noreply.github.com> | 2017-06-08 18:26:21 +0100 |
commit | 64ad51048d8f490b57ca6e74864f4de3777ec2a7 (patch) | |
tree | c657a7dccd67de80518d56d90dc55b39c5bd88c1 /Dockerfile | |
parent | 62862c334776e3138f5a5456ed41bb146969b2c2 (diff) | |
download | ale-64ad51048d8f490b57ca6e74864f4de3777ec2a7.zip |
Support for GNU Awk linting (#638)
* GNU Awk linter support
* Documentation for awk linter
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions