2017-07-13 05:12:20 +03:00
|
|
|
// Place your settings in this file to overwrite default and user settings.
|
|
|
|
{
|
2017-08-03 18:53:49 +03:00
|
|
|
"purescript.addNpmPath": true,
|
2017-09-11 07:11:09 +03:00
|
|
|
"editor.formatOnSave": true,
|
2017-08-03 18:53:49 +03:00
|
|
|
"search.exclude": {
|
|
|
|
"**/.git": true,
|
|
|
|
"**/node_modules": true,
|
|
|
|
"**/bower_components": true,
|
|
|
|
"**/tmp": true,
|
|
|
|
"output": true,
|
|
|
|
"**/obj": true,
|
|
|
|
"**/bin": true,
|
2017-08-13 04:57:40 +03:00
|
|
|
"test/inputs": true,
|
2017-08-13 16:24:55 +03:00
|
|
|
"test/runs": true,
|
|
|
|
"app/build": true,
|
|
|
|
"elm-stuff": true,
|
2017-08-13 04:57:40 +03:00
|
|
|
"cli/dist": true
|
2017-08-17 07:03:31 +03:00
|
|
|
},
|
|
|
|
"java.configuration.updateBuildConfiguration": "automatic"
|
2017-07-13 05:12:20 +03:00
|
|
|
}
|