net/dns.lua
changeset 8558 4f0f5b49bb03
parent 8443 4e6710b4f873
child 8905 ac21f13798ae
--- a/net/dns.lua	Wed Feb 28 18:12:20 2018 +0100
+++ b/net/dns.lua	Wed Feb 28 20:06:26 2018 +0100
@@ -73,6 +73,7 @@
 
 -------------------------------------------------- module dns
 local _ENV = nil;
+-- luacheck: std none
 local dns = {};