core.loggingmanager: Remove now unused locals [luacheck]
authorKim Alvefur <zash@zash.se>
Mon, 11 Sep 2017 19:32:51 +0200
changeset 8232 bf6f80f2d971
parent 8231 cda9db4b881d
child 8233 154852646095
core.loggingmanager: Remove now unused locals [luacheck]
core/loggingmanager.lua
--- a/core/loggingmanager.lua	Mon Sep 11 19:32:12 2017 +0200
+++ b/core/loggingmanager.lua	Mon Sep 11 19:32:51 2017 +0200
@@ -15,9 +15,6 @@
 local math_max, rep = math.max, string.rep;
 local os_date = os.date;
 local getstyle, getstring = require "util.termcolours".getstyle, require "util.termcolours".getstring;
-local tostring = tostring;
-local select = select;
-local unpack = table.unpack or unpack; --luacheck: ignore 113
 
 local config = require "core.configmanager";
 local logger = require "util.logger";