mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-26 17:19:22 +00:00
* include/grub/boottime.h: Add missing file.
This commit is contained in:
1 parent
f6df57d216
commit
e9dabdfad8
2 files changed
+4
No files matched your search
@@ -1,3 +1,7 @@
|
|||||||
|
2013-03-20 Vladimir Serbinenko <phcoder@gmail.com>
|
||||||
|
|
||||||
|
* include/grub/boottime.h: Add missing file.
|
||||||
|
|
||||||
2013-03-19 Vladimir Serbinenko <phcoder@gmail.com>
|
2013-03-19 Vladimir Serbinenko <phcoder@gmail.com>
|
||||||
|
|
||||||
Initialize USB ports in parallel to speed-up boot.
|
Initialize USB ports in parallel to speed-up boot.
|
||||||
|
|||||||
Whitespace-only changes.
Reference in new issue
Block a user