util/set.lua
changeset 8558 4f0f5b49bb03
parent 8525 073e517a1487
child 9491 a96a2fbcc6c0
--- a/util/set.lua	Wed Feb 28 18:12:20 2018 +0100
+++ b/util/set.lua	Wed Feb 28 20:06:26 2018 +0100
@@ -11,6 +11,7 @@
 local t_concat = table.concat;
 
 local _ENV = nil;
+-- luacheck: std none
 
 local set_mt = { __name = "set" };
 function set_mt.__call(set, _, k)