Fix linting errors

This commit is contained in:
Nelson Yeung
2020-03-25 20:36:57 +00:00
committed by Nelson Yeung
parent 847f729cd4
commit 850c41b2a9
3 changed files with 3 additions and 0 deletions

View File

@@ -116,6 +116,7 @@ Notes:
* Dafny
* `dafny`!!
* Dart
* `analysis_server`
* `dartanalyzer`!!
* `dartfmt`!!
* `language_server`

View File

@@ -2664,6 +2664,7 @@ documented in additional help files.
dafny...................................|ale-dafny-options|
dafny.................................|ale-dafny-dafny|
dart....................................|ale-dart-options|
analysis_server.......................|ale-dart-analysis_server|
dartanalyzer..........................|ale-dart-dartanalyzer|
dartfmt...............................|ale-dart-dartfmt|
dhall...................................|ale-dhall-options|