grub2-themes/config
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
..
theme-2k.txt Update 2019-12-05 17:55:00 +08:00
theme-4k.txt Unify the naming for the DejaVu Sans font 2020-03-19 16:20:42 +01:00
theme-1080p.txt Update 2019-12-05 17:55:00 +08:00