Show diagnostics as warnings (#41952)

pull/41552/head
Erich Gamma 2018-01-22 10:24:31 +01:00 committed by GitHub
parent 4bcaeaed2b
commit 5c2c361712
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

@ -9,5 +9,6 @@
"always"
],
"triple-equals": true
}
},
"defaultSeverity": "warning"
}