From f59b83fce67fffcdc2414081debf50913dc6b010 Mon Sep 17 00:00:00 2001 From: Vladimir Serbinenko Date: Fri, 9 Oct 2015 23:30:53 +0200 Subject: [PATCH] gfxmenu/model: Delete empty file. --- grub-core/Makefile.core.def | 1 - grub-core/gfxmenu/model.c | 0 2 files changed, 1 deletion(-) delete mode 100644 grub-core/gfxmenu/model.c diff --git a/grub-core/Makefile.core.def b/grub-core/Makefile.core.def index 9764cd235..abf5ac1bf 100644 --- a/grub-core/Makefile.core.def +++ b/grub-core/Makefile.core.def @@ -1448,7 +1448,6 @@ module = { module = { name = gfxmenu; common = gfxmenu/gfxmenu.c; - common = gfxmenu/model.c; common = gfxmenu/view.c; common = gfxmenu/font.c; common = gfxmenu/icon_manager.c; diff --git a/grub-core/gfxmenu/model.c b/grub-core/gfxmenu/model.c deleted file mode 100644 index e69de29bb..000000000