Changeset

5073:ecc89a60b2ba

util.pluginloader: Remove unused imports
author Matthew Wild <mwild1@gmail.com>
date Wed, 01 Aug 2012 01:27:42 +0100
parents 5072:586c9106a106
children 5074:a87afeea8b48
files util/pluginloader.lua
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
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"