diff options
| author | Bartek thindil Jasicki <thindil@laeran.pl> | 2019-10-11 11:00:49 +0200 |
|---|---|---|
| committer | Bartek thindil Jasicki <thindil@laeran.pl> | 2019-10-11 11:00:49 +0200 |
| commit | 5cbf7007ff18d100e5fb081297b6330dd75bdabf (patch) | |
| tree | a415c35c132171430fcd8388053ce653df008755 /supported-tools.md | |
| parent | c30869617f6c829378d1931dc5ddf102924f5650 (diff) | |
| download | ale-5cbf7007ff18d100e5fb081297b6330dd75bdabf.zip | |
fixed documentation
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 |