Remove unneeded file
authorJoey Schulze <joey@infodrom.org>
Thu, 26 Apr 2018 20:41:22 +0000 (22:41 +0200)
committerJoey Schulze <joey@infodrom.org>
Thu, 26 Apr 2018 20:41:22 +0000 (22:41 +0200)
src/submenu.inc [deleted file]

diff --git a/src/submenu.inc b/src/submenu.inc
deleted file mode 100644 (file)
index e69de29..0000000