diff options
Diffstat (limited to 'util')
| -rw-r--r-- | util/time.lua | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/util/time.lua b/util/time.lua deleted file mode 100644 index 84cff877..00000000 --- a/util/time.lua +++ /dev/null @@ -1,8 +0,0 @@ --- Import gettime() from LuaSocket, as a way to access high-resolution time --- in a platform-independent way - -local socket_gettime = require "socket".gettime; - -return { - now = socket_gettime; -} |