linux fixup
authorVladimir Serbinenko <phcoder@gmail.com>
Mon, 14 Aug 2017 14:23:52 +0000 (16:23 +0200)
committerVladimir Serbinenko <phcoder@gmail.com>
Mon, 14 Aug 2017 14:23:52 +0000 (16:23 +0200)
commit6cc79ec10ccafc5935d776e4a396193b93d7e842
tree2b4ce4053ffde8223be7a0d2f2b9fd848cab9f8f
parentc36c2a86404f373100775305f532c09d46f3c6ce
linux fixup
grub-core/Makefile.core.def