2017-03-30 18:34:42 -04:00
|
|
|
// Place your settings in this file to overwrite default and user settings.
|
2017-02-03 10:55:11 -05:00
|
|
|
{
|
2017-03-30 18:34:42 -04:00
|
|
|
"tslint.configFile": "./config/tslint.json",
|
2017-06-15 08:34:20 -04:00
|
|
|
"tslint.ignoreDefinitionFiles": true,
|
|
|
|
|
"editor.minimap.maxColumn": 80,
|
|
|
|
|
"editor.minimap.renderCharacters": false
|
2017-02-03 10:55:11 -05:00
|
|
|
}
|
