grub: removed some whitespace to make xlint happy

This commit is contained in:
Julian Wiesener 2015-01-19 18:18:12 +02:00
parent f9a0af2b40
commit e7f4d2129d