ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-23 17:17:38 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
Files
b41df1fb7a09faa68f261726977b642f9306ead1
genode/repos/base/ports
History
Alexander Boettcher 93e26cae35 grub2: add small default font 
Issue #4741
2023-02-27 08:20:46 +01:00
..
grub2.hash
grub2: add small default font
2023-02-27 08:20:46 +01:00
grub2.port
grub2: add small default font
2023-02-27 08:20:46 +01:00