mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-04-22 06:17:21 +00:00
10 lines
172 B
JSON
10 lines
172 B
JSON
{
|
|
"files.exclude": {
|
|
"**/lib": false
|
|
},
|
|
"typescript.tsdk": "node_modules/typescript/lib",
|
|
"editor.codeActionsOnSave": {
|
|
"source.fixAll.eslint": true
|
|
},
|
|
}
|