Delete settings.json

pull/203/head
Pablo Fuente Pérez 2019-01-22 17:18:55 +01:00 committed by GitHub
parent 7b5f53bc53
commit a75d13275c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 8 deletions

View File

@ -1,8 +0,0 @@
{
"editor.formatOnSave": false,
"[typescript]": {
"editor.formatOnSave": true
},
"tslint.configFile": "config/tslint.json",
"tslint.enable": true
}