projects / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b70860) | patch
Remove a few references to GRUB_HIDDEN_TIMEOUT*
authorColin Watson <cjwatson@ubuntu.com>
Fri, 29 Nov 2013 17:19:37 +0000 (17:19 +0000)
committerColin Watson <cjwatson@ubuntu.com>
Fri, 29 Nov 2013 17:19:37 +0000 (17:19 +0000)
commitf70ab525f941fc24cd721720751e2f0ff283b17c
treea54a3e9f9bc5d19948719a821aae4a40060b2007tree | snapshot
parent9b70860ecca300bae6a8997c66352c03c730953ccommit | diff
Remove a few references to GRUB_HIDDEN_TIMEOUT*

Reported by Andrey Borzenkov.
docs/grub.texi diff | blob | history
GRUB2 development