Log In
rpms
/
grub2
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History 0215-Rename-00_menu_auto_hide.in-to-01_menu_auto_hide.in.patch
Branch:
627591c8afe2f8c71907ded5c5ba66a05ced081d
el5
el6
f10
f11
f12
f13
f14
f15
f16
f17
f18
f19
f20
f21
f22
f23
f24
f25
f25-bls
f25-bls3
f26
f27
f28
f29
f30
f31
f32
f33
f34
f35
f36
f37
f38
f39
f40
f9
main
put-font-back
rawhide
splitarch4
uefi-vlan
627591c8afe2f8c71907ded5c5ba66a05ced081d
0215-Rename-00_menu_auto_hide.in-to-01_menu_auto_hide.in.patch
Enable armv7 EFI builds. This was way harder than I expected.
Peter Jones
• 5 years ago
3e07ee7