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)
commit98178fe90e9f33f0487331059fd06e8eef073fad
tree54b4703115b242d29c77029f56b31798c838cfe9
parentb90b530516f264e511f01557482388b30ff0e412
Remove unneeded file
src/submenu.inc [deleted file]