projects / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2dbda22) | patch
Consistently ignore GRUB_TIMEOUT if GRUB_HIDDEN_TIMEOUT is set
authorColin Watson <cjwatson@ubuntu.com>
Fri, 29 Nov 2013 15:30:44 +0000 (15:30 +0000)
committerColin Watson <cjwatson@ubuntu.com>
Fri, 29 Nov 2013 15:30:44 +0000 (15:30 +0000)
commit095588ef34618232a8696a2cdc2952f3fa4cc8aa
tree8f774842c13f3bcc3acbb770017f11f80321328etree | snapshot
parent2dbda2215ced6c9c56cea0b612c05bd2f2e90d05commit | diff
Consistently ignore GRUB_TIMEOUT if GRUB_HIDDEN_TIMEOUT is set

Pointed out by Vladimir Serbinenko.
util/grub.d/00_header.in diff | blob | history
GRUB2 development