Diff

core/loggingmanager.lua @ 8229:bf6f80f2d971

core.loggingmanager: Remove now unused locals [luacheck]
author Kim Alvefur <zash@zash.se>
date Mon, 11 Sep 2017 19:32:51 +0200
parent 8228:cda9db4b881d
child 8355:45383e071ded
line wrap: on
line diff
--- 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";