From c417e966a85afffe2de1dafdc3a86e4aec743ac7 Mon Sep 17 00:00:00 2001
From: Christopher Monsanto <chris@monsan.to>
Date: Sun, 24 May 2020 23:41:54 -0400
Subject: [PATCH] remove unused table_keys

---
 util/lua-ext.lua | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/util/lua-ext.lua b/util/lua-ext.lua
index d0f6f80c..bb320aef 100644
--- a/util/lua-ext.lua
+++ b/util/lua-ext.lua
@@ -57,10 +57,3 @@ function rep(args)
     return str
 end
 
-function table_keys(t)
-    local result = {}
-    for k, v in pairs(t) do
-        table.insert(result, k)
-    end
-    return result
-end