diff options
author | w0rp <w0rp@users.noreply.github.com> | 2018-11-19 19:36:32 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-19 19:36:32 +0000 |
commit | 4b4b09593b2b090282981d69a9647a3c91d1f8b9 (patch) | |
tree | 931d50082b2eef3affd7a5d9fafa7dbe02a5459a /ale_linters/tex/redpen.vim | |
parent | f538bb440a8d9e5f607fe7a8d54f7862537586d9 (diff) | |
parent | d90673ab5b40ec1ef79ab9e3eb0b1b7012425701 (diff) | |
download | ale-4b4b09593b2b090282981d69a9647a3c91d1f8b9.zip |
Merge pull request #2087 from m-pilia/ada
Add GCC linter for Ada
Diffstat (limited to 'ale_linters/tex/redpen.vim')
0 files changed, 0 insertions, 0 deletions