1
0
mirror of https://github.com/vinceliuice/grub2-themes.git synced 2025-03-16 00:45:40 +01:00
Arseniy Klimovskiy abfd62d247 Unify the naming for the DejaVu Sans font
"DejaVu Regular" isn't a widely-used name.

Regenerated pf2 file from ttf file present.
2020-03-19 16:20:42 +01:00
..
2019-10-24 14:37:47 +08:00
2019-10-24 14:37:47 +08:00
2019-10-24 14:37:47 +08:00
2019-10-24 14:37:47 +08:00
2019-10-24 14:37:47 +08:00
2019-10-24 14:37:47 +08:00
2019-10-23 20:32:32 +08:00
2019-10-23 20:32:32 +08:00
2019-10-23 20:32:32 +08:00
2019-10-23 20:32:32 +08:00