diff options
Diffstat (limited to 'supported-tools.md')
| -rw-r--r-- | supported-tools.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/supported-tools.md b/supported-tools.md index 8a74b26e..b28685bd 100644 --- a/supported-tools.md +++ b/supported-tools.md @@ -22,9 +22,9 @@ formatting. --- * Ada + * [ada_language_server](https://github.com/AdaCore/ada_language_server) * [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: - * [ada_language_server](https://github.com/AdaCore/ada_language_server) * Ansible * [ansible-lint](https://github.com/willthames/ansible-lint) * API Blueprint |