diff options
author | ghsang <66662835+ghsang@users.noreply.github.com> | 2021-07-25 13:48:12 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-25 13:48:12 +0900 |
commit | 73d32335fe0b9d723e19f098d3c263b01e17d234 (patch) | |
tree | 00939ac8aaf01fcfbd077e649e79aa12efc8822a /doc/ale.txt | |
parent | 8c591996a83d623fb158fe090acbd89dabbfaf06 (diff) | |
download | ale-73d32335fe0b9d723e19f098d3c263b01e17d234.zip |
Add support for `dart analyze` (#3825)
Diffstat (limited to 'doc/ale.txt')
-rw-r--r-- | doc/ale.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 2d80c322..5d6e215a 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -2700,8 +2700,9 @@ documented in additional help files. dafny.................................|ale-dafny-dafny| dart....................................|ale-dart-options| analysis_server.......................|ale-dart-analysis_server| - dartanalyzer..........................|ale-dart-dartanalyzer| + dart-analyze..........................|ale-dart-analyze| dart-format...........................|ale-dart-format| + dartanalyzer..........................|ale-dart-dartanalyzer| dartfmt...............................|ale-dart-dartfmt| desktop.................................|ale-desktop-options| desktop-file-validate.................|ale-desktop-desktop-file-validate| |