delete diff extension

fixes #44412
This commit is contained in:
Joao Moreno
2018-02-26 17:24:56 +01:00
parent 1217419309
commit dbbfa5d3a5
8 changed files with 0 additions and 643 deletions

View File

@@ -1,11 +0,0 @@
{
"comments": {
"lineComment": "//",
"blockComment": [ "/*", "*/" ]
},
"brackets": [
["{", "}"],
["[", "]"],
["(", ")"]
]
}