Diff

util/pluginloader.lua @ 5073:ecc89a60b2ba

util.pluginloader: Remove unused imports
author Matthew Wild <mwild1@gmail.com>
date Wed, 01 Aug 2012 01:27:42 +0100
parent 5072:586c9106a106
child 5776:bd0ff8ae98a8
child 6029:dd3d4cfbd3cb
line wrap: on
line diff
--- a/util/pluginloader.lua	Wed Aug 01 01:27:31 2012 +0100
+++ b/util/pluginloader.lua	Wed Aug 01 01:27:42 2012 +0100
@@ -14,8 +14,7 @@
 	plugin_dir[#plugin_dir + 1] = path;
 end
 
-local io_open, os_time = io.open, os.time;
-local loadstring, pairs = loadstring, pairs;
+local io_open = io.open;
 local envload = require "util.envload".envload;
 
 module "pluginloader"