Removed unused variables

2020-05-07 22:40:34 +01:00
parent de94c8a13c
commit 95bdb07d49
3 changed files with 1 additions and 3 deletions
@@ -2,7 +2,6 @@ local core = require "core"
 local common = require "core.common"
 local config = require "core.config"
 local style = require "core.style"
-local syntax = require "core.syntax"
 local translate = require "core.doc.translate"
 local View = require "core.view"