boot_font(4): remove obsolete font
It's no longer used since 4e421792ec80df7a5fa82e97dcc3575c3ec6740a
and r325892 respectively.
Description
Description
Details
Details
- Provenance
marius Authored on Jan 17 2021, 1:21 PM - Parents
- rG130aebbab0d3: Further refactor IPv4 interface route creation.
- Branches
- Unknown
- Tags