Commit graph

3 commits

Author SHA1 Message Date
nicobo
52cadaa0ec Made grub_timeout and grub_recordfail_timeout optional 2022-03-14 20:22:01 +01:00
Robert de Bock
4a4d9dff10 Add a GRUB_RECORDFAIL_TIMEOUT option. 2020-08-23 15:22:37 +02:00
Robert de Bock
6facd8d668 Initial commit 2020-05-18 13:51:01 +02:00