util/datamanager.lua
changeset 8558 4f0f5b49bb03
parent 8302 756a2a00e7e7
child 9997 02a41315d275
child 10669 69acda92d5a9
--- a/util/datamanager.lua	Wed Feb 28 18:12:20 2018 +0100
+++ b/util/datamanager.lua	Wed Feb 28 20:06:26 2018 +0100
@@ -40,6 +40,7 @@
 end);
 
 local _ENV = nil;
+-- luacheck: std none
 
 ---- utils -----
 local encode, decode, store_encode;