util/filters.lua
changeset 8558 4f0f5b49bb03
parent 6780 5de6b93d0190
--- a/util/filters.lua	Wed Feb 28 18:12:20 2018 +0100
+++ b/util/filters.lua	Wed Feb 28 20:06:26 2018 +0100
@@ -9,6 +9,7 @@
 local t_insert, t_remove = table.insert, table.remove;
 
 local _ENV = nil;
+-- luacheck: std none
 
 local new_filter_hooks = {};