grub.texi: Fix typo
authorVladimir Serbinenko <phcoder@gmail.com>
Mon, 14 Aug 2017 09:36:50 +0000 (11:36 +0200)
committerVladimir Serbinenko <phcoder@gmail.com>
Mon, 14 Aug 2017 09:36:50 +0000 (11:36 +0200)
commit7108c0c86ea26f75dfba4e21e78bf8464c433143
treea8d82f27392fafa556ceb073752c10654ce99165
parent1deebd85ef87cc581e995ce0a51dc0802ac9c367
grub.texi: Fix typo

Reported by:  Ori Avtalion <saltyhorse>
docs/grub.texi