diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-09-13 15:31:31 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-09-13 15:36:07 +0200 |
| commit | c5779c931bcfd1073da1031bd8663871a88c2950 (patch) | |
| tree | 0b4585f72dd0c541d0bfa6c6aa9db884017771b8 /gnu/packages/grub.scm | |
| parent | bed035c56060d008abbfcd7e4100f6aa76031314 (diff) | |
| download | patches-c5779c931bcfd1073da1031bd8663871a88c2950.tar patches-c5779c931bcfd1073da1031bd8663871a88c2950.tar.gz | |
gnu: Synchronize GNU package descriptions with upstream.
These are mostly two-space-after-end-of-sentence-period changes
resulting from commit 3a09e1d2.
Diffstat (limited to 'gnu/packages/grub.scm')
| -rw-r--r-- | gnu/packages/grub.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/grub.scm b/gnu/packages/grub.scm index fabbbc439d..398a6d4e49 100644 --- a/gnu/packages/grub.scm +++ b/gnu/packages/grub.scm @@ -101,7 +101,7 @@ (description "GRUB is a multiboot bootloader. It is used for initially loading the kernel of an operating system and then transferring control to it. The kernel -then goes on to load the rest of the operating system. As a multiboot +then goes on to load the rest of the operating system. As a multiboot bootloader, GRUB handles the presence of multiple operating systems installed on the same computer; upon booting the computer, the user is presented with a menu to select one of the installed operating systems.") |