Diff

util/pluginloader.lua @ 8382:e5d00bf4a4d5

util: Various minor changes to please [luacheck]
author Kim Alvefur <zash@zash.se>
date Fri, 10 Nov 2017 05:42:32 +0100
parent 7115:805d068d2fd5
child 10205:ff8de86b75f0
line wrap: on
line diff
--- a/util/pluginloader.lua	Fri Nov 10 05:34:29 2017 +0100
+++ b/util/pluginloader.lua	Fri Nov 10 05:42:32 2017 +0100
@@ -5,6 +5,7 @@
 -- This project is MIT/X11 licensed. Please see the
 -- COPYING file in the source package for more information.
 --
+-- luacheck: ignore 113/CFG_PLUGINDIR
 
 local dir_sep, path_sep = package.config:match("^(%S+)%s(%S+)");
 local plugin_dir = {};