2019-07-11 19:51:14 +02:00
|
|
|
{
|
2019-07-19 14:25:01 +02:00
|
|
|
"editor.formatOnSave": true,
|
|
|
|
|
"prettier.eslintIntegration": true,
|
2020-04-13 22:39:00 +02:00
|
|
|
"explorer.autoReveal": false,
|
|
|
|
|
"typescript.tsdk": "node_modules/typescript/lib"
|
2019-07-19 14:25:01 +02:00
|
|
|
}
|
