covermenu: remove unused

reviewable/pr11759/r1
hius07 4 weeks ago committed by GitHub
parent 16b8a6a726
commit 7d3a438057
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -1,4 +1,3 @@
local BD = require("ui/bidi")
local ButtonDialog = require("ui/widget/buttondialog")
local DocSettings = require("docsettings")
local InfoMessage = require("ui/widget/infomessage")

Loading…
Cancel
Save