[PATCH] docs/grub-dev.texi: fix typos

From: Nikolai Kostrigin Signed-off-by: Nikolai Kostrigin --- docs/grub-dev.texi | 16 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/docs/grub-dev.texi b/docs/grub-dev.texi index 6c629a23e..fb2cc965e 100644 --- a/docs/grub-dev.texi +++ b/docs/grub-dev.texi

[PATCH] docs/grub-dev.texi: fix typos

Hello, I found and fixed some typos in development documentation. Please consider applying. ___ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel

set digest off

set digest off ___ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel