f7ed06108d
* use typescript from workspace * fixed tracking in localhost * updated ordering of input/radio
21 lines
689 B
JSON
21 lines
689 B
JSON
// Place your settings in this file to overwrite default and user settings.
|
|
{
|
|
"file.autoSave": "afterDelay",
|
|
"files.watcherExclude": {
|
|
"**/.git/objects/**": true,
|
|
"**/built/**": true,
|
|
"**/node_modules/**": true,
|
|
"**/yotta_modules/**": true,
|
|
"**/yotta_targets": true,
|
|
"**/pxt_modules/**": true
|
|
},
|
|
"search.exclude": {
|
|
"**/node_modules": true,
|
|
"**/yotta_modules/**": true,
|
|
"**/yotta_targets": true,
|
|
"**/pxt_modules/**": true
|
|
},
|
|
"tslint.enable": true,
|
|
"tslint.rulesDirectory": "node_modules/tslint-microsoft-contrib",
|
|
"typescript.tsdk": "./node_modules/typescript/lib"
|
|
} |