# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1343780862 -3600
# Node ID ecc89a60b2baf0c11d1e3875bf882734fe4d2c4c
# Parent  586c9106a106ec3a079b0a7ebbe517409332ee75
util.pluginloader: Remove unused imports

diff -r 586c9106a106 -r ecc89a60b2ba util/pluginloader.lua
--- 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"