diff options
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 9d70b6b2..ae943ebb 100644 --- a/supported-tools.md +++ b/supported-tools.md @@ -22,6 +22,7 @@ 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: * Ansible |