Merge remote-tracking branch 'upstream/master'

This commit is contained in:
Bartek thindil Jasicki
2021-01-22 17:52:01 +01:00
37 changed files with 725 additions and 118 deletions

View File

@@ -117,6 +117,7 @@ Notes:
* Dafny
* `dafny`!!
* Dart
* `analysis_server`
* `dartanalyzer`!!
* `dartfmt`!!
* `language_server`
@@ -323,6 +324,10 @@ Notes:
* `ocamlformat`
* `ocp-indent`
* `ols`
* OpenApi
* `ibm_validator`
* `prettier`
* `yamllint`
* Pawn
* `uncrustify`
* Perl
@@ -502,6 +507,7 @@ Notes:
* `typecheck`
* VALA
* `uncrustify`
* `vala_lint`!!
* Verilog
* `hdl-checker`
* `iverilog`