2016-06-10 01:01:53 +08:00
|
|
|
// Place your settings in this file to overwrite default and user settings.
|
|
|
|
{
|
2021-11-08 23:49:10 +08:00
|
|
|
"editor.tabSize": 4,
|
|
|
|
"editor.insertSpaces": false,
|
|
|
|
"files.insertFinalNewline": true,
|
|
|
|
"files.trimTrailingWhitespace": true,
|
2016-06-10 01:01:53 +08:00
|
|
|
"search.exclude": {
|
|
|
|
"**/node_modules": true,
|
2023-02-23 00:39:35 +08:00
|
|
|
"**/dist": true,
|
2016-06-10 01:01:53 +08:00
|
|
|
"**/out": true
|
2016-09-17 04:29:37 +08:00
|
|
|
},
|
2022-08-12 23:31:04 +08:00
|
|
|
"typescript.tsdk": "./node_modules/typescript/lib",
|
|
|
|
"git.branchProtection": ["main", "release/*"],
|
|
|
|
"git.branchProtectionPrompt": "alwaysCommitToNewBranch",
|
|
|
|
"git.branchRandomName.enable": true
|
2017-06-09 00:54:55 +08:00
|
|
|
}
|