Merge branch 'dev' into dev

This commit is contained in:
mrjvs 2023-01-08 15:14:47 +01:00 committed by GitHub
commit 9f1ebba010
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 2 deletions

View file

@ -5,7 +5,7 @@ on:
branches:
- master
- dev
pull_request:
pull_request_target:
types: [opened, reopened, synchronize]
jobs:

View file

@ -1,4 +1,5 @@
{
"editor.formatOnSave": true,
"editor.defaultFormatter": "dbaeumer.vscode-eslint"
"editor.defaultFormatter": "dbaeumer.vscode-eslint",
"eslint.format.enable": true
}