diff options
author | Mike Swanson | 2019-12-14 16:16:17 -0800 |
---|---|---|
committer | Mike Swanson | 2019-12-14 16:16:17 -0800 |
commit | 612ea2a5269570f213e53287cee1cb57a66f6c95 (patch) | |
tree | dc3a94dc80fb8da2819ee47de314680d0c640fb2 /grub.default | |
parent | e053f7d48e01df83c2cb8fc954341f80fe501093 (diff) | |
download | aur-612ea2a5269570f213e53287cee1cb57a66f6c95.tar.gz |
Update to be in-sync with repo, Unifont to 12.1.04
Diffstat (limited to 'grub.default')
-rw-r--r-- | grub.default | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/grub.default b/grub.default index 251dfae01594..d6d41a91345c 100644 --- a/grub.default +++ b/grub.default @@ -49,6 +49,6 @@ GRUB_DISABLE_RECOVERY=true # Uncomment to get a beep at GRUB start #GRUB_INIT_TUNE="480 440 1" -# Uncomment to make GRUB remember the last selection. This requires to -# set 'GRUB_DEFAULT=saved' above. +# Uncomment to make GRUB remember the last selection. This requires +# setting 'GRUB_DEFAULT=saved' above. #GRUB_SAVEDEFAULT="true" |