Johan Degn ed4603c7fe grub-reboot: add page (#9914) ... * grub-reboot: add page * Apply suggestions from code review Co-authored-by: K.B.Dharun Krishna <kbdharunkrishna@gmail.com> Co-authored-by: Jack Lin <blueskyson1401@gmail.com> --------- Co-authored-by: K.B.Dharun Krishna <kbdharunkrishna@gmail.com> Co-authored-by: Jack Lin <blueskyson1401@gmail.com>		2023-03-07 12:51:38 +08:00
..
android	Make integer placeholder convertible to CLIP placeholder: (#9880)	2023-02-22 16:22:36 +08:00
common	whisper: add page (#9901)	2023-03-06 20:09:02 +05:30
linux	grub-reboot: add page (#9914)	2023-03-07 12:51:38 +08:00
osx	split: update page (#9887)	2023-03-04 16:29:42 +08:00
sunos	Make placeholders more compatible with CLIP: (#9870)	2023-02-20 15:16:13 +08:00
windows	prompt: add page (#9377)	2023-03-02 13:34:38 -03:00