update lint config (#3618)

This commit is contained in:
Lars Hvam 2020-07-13 10:22:33 +02:00 committed by GitHub
parent f579dfb7a0
commit 37ec998898
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -68,6 +68,8 @@
"globalMacros": []
},
"rules": {
"prefer_inline": false,
"reduce_string_templates": true,
"downport": false,
"line_break_multiple_parameters": true,
"unknown_types": true,
@ -245,6 +247,7 @@
"idoc": "^Z",
"ssfo": "^Z",
"ssst": "^Z",
"shlp": "^Z",
"xslt": "^Z"
},
"obsolete_statement": {