Merge remote-tracking branch 'upstream/master'

This commit is contained in:
Bartek thindil Jasicki
2019-10-31 09:42:58 +01:00
24 changed files with 202 additions and 33 deletions

View File

@@ -195,6 +195,7 @@ Notes:
* HTML
* `alex`!!
* `fecs`
* `html-beautify`
* `HTMLHint`
* `prettier`
* `proselint`
@@ -349,6 +350,7 @@ Notes:
* `puppet-lint`
* PureScript
* `purescript-language-server`
* `purty`
* Python
* `autopep8`
* `bandit`