diff options
| author | Bartek thindil Jasicki <thindil@laeran.pl> | 2019-10-11 11:10:02 +0200 |
|---|---|---|
| committer | Bartek thindil Jasicki <thindil@laeran.pl> | 2019-10-11 11:10:02 +0200 |
| commit | 6d5d3fa4dd1cc18a5b90c587502ad37323df08a3 (patch) | |
| tree | dcdb87bf4a854dcdd8bd099929db1abd8cefc879 /doc/ale.txt | |
| parent | 5cbf7007ff18d100e5fb081297b6330dd75bdabf (diff) | |
| download | ale-6d5d3fa4dd1cc18a5b90c587502ad37323df08a3.zip | |
fixed documentation headers
Diffstat (limited to 'doc/ale.txt')
| -rw-r--r-- | doc/ale.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index f275266b..c6c9418a 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -2106,7 +2106,7 @@ documented in additional help files. ada.....................................|ale-ada-options| gcc...................................|ale-ada-gcc| gnatpp................................|ale-ada-gnatpp| - ada_language_server...................|ale-ada-ada_language_server| + ada-language-server...................|ale-ada-language-server| ansible.................................|ale-ansible-options| ansible-lint..........................|ale-ansible-ansible-lint| asciidoc................................|ale-asciidoc-options| |