remove uneeded diffs

2017-10-09 21:48:05 +02:00 · 2017-10-09 21:48:05 +02:00 · e5a38e388a
parent 70ae361b7a
commit e5a38e388a
1 changed files with 3 additions and 3 deletions
--- a/src/options.json
+++ b/src/options.json
@ -4578,7 +4578,8 @@
      "Lua"
    ],
    "extensions": [
-      "lua"
+      "lua",
+      "ttslua"
    ],
    "properties": {
      "end_of_line": {
@ -7229,8 +7230,7 @@
      "TSS"
    ],
    "extensions": [
-      "lua",
-      "ttslua"
+      "tss"
    ],
    "properties": {
      "indent_size": {