diff options
Diffstat (limited to 'doc/ale.txt')
| -rw-r--r-- | doc/ale.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 924b7bfe..e7ffba36 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -2238,6 +2238,8 @@ documented in additional help files. write-good............................|ale-html-write-good| idris...................................|ale-idris-options| idris.................................|ale-idris-idris| + ink.....................................|ale-ink-options| + ink-language-server...................|ale-ink-language-server| ispc....................................|ale-ispc-options| ispc..................................|ale-ispc-ispc| java....................................|ale-java-options| |