diff options
author | Utkarsh Verma <utkarshverma@protonmail.com> | 2021-11-15 16:11:03 +0530 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-15 19:41:03 +0900 |
commit | 1e0e76bf9619a3ce21663165283f9971556c95b3 (patch) | |
tree | f54e5099ef6b248502a039e07d840348c3a9a05a /supported-tools.md | |
parent | 76c2293e68a6cad3b192062743d25b8daa082205 (diff) | |
download | ale-1e0e76bf9619a3ce21663165283f9971556c95b3.zip |
Add support for AVRA linting (#3950)
* Add support for AVRA linting
* Add tests for AVRA linting and improve code
* Fix test
* Fix warning detection
* Fix test
* Fix test
* Add AVRA as a supported language in docs
Diffstat (limited to 'supported-tools.md')
-rw-r--r-- | supported-tools.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/supported-tools.md b/supported-tools.md index a0da372c..03d1ebb8 100644 --- a/supported-tools.md +++ b/supported-tools.md @@ -42,6 +42,8 @@ formatting. * [write-good](https://github.com/btford/write-good) * ASM * [gcc](https://gcc.gnu.org) +* AVRA + * [avra](https://github.com/Ro5bert/avra) * Awk * [gawk](https://www.gnu.org/software/gawk/) * Bash |