mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-21 06:49:35 +00:00
Remove unused file.
This commit is contained in:
1 parent
fbdee79b17
commit
6ccb7a35e6
1 file changed