Refresh menu table: more remove unused

pull/8213/head^2
hius07 3 years ago committed by Frans de Jonge
parent aa210e96ce
commit e934a4ad67

@ -1,4 +1,3 @@
local Device = require("device")
local Event = require("ui/event")
local UIManager = require("ui/uimanager")
local _ = require("gettext")

Loading…
Cancel
Save