diff options
author | Horacio Sanson <hsanson@gmail.com> | 2022-11-25 22:13:38 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-25 13:13:38 +0000 |
commit | 3e460fa93bea6f814a683b3d02efa9ce3372b928 (patch) | |
tree | da5004088b51631243845d45c07d2341d0750a0c /supported-tools.md | |
parent | 46e77fad778344926f538748ccaa66cc28fa8152 (diff) | |
download | ale-3e460fa93bea6f814a683b3d02efa9ce3372b928.zip |
Fix 4246 - Add ansible language-server (#4355)
Diffstat (limited to 'supported-tools.md')
-rw-r--r-- | supported-tools.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/supported-tools.md b/supported-tools.md index fa84aed7..af602ca9 100644 --- a/supported-tools.md +++ b/supported-tools.md @@ -27,6 +27,7 @@ formatting. * [gcc](https://gcc.gnu.org) * [gnatpp](https://docs.adacore.com/gnat_ugn-docs/html/gnat_ugn/gnat_ugn/gnat_utility_programs.html#the-gnat-pretty-printer-gnatpp) :floppy_disk: * Ansible + * [ansible-language-server](https://github.com/ansible/ansible-language-server/) * [ansible-lint](https://github.com/willthames/ansible-lint) :floppy_disk: * API Blueprint * [drafter](https://github.com/apiaryio/drafter) |