Skip to content

Commit 8167485

Browse files
authored
Merge pull request LukeSmithxyz#582 from aartoni/new-font-name
Rename libertinus font package
2 parents 38ae0ec + b0a92e4 commit 8167485

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

‎static/progs.csv‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
,xorg-xinit,"starts the graphical server."
55
,xorg-xset,"utility for configuring and ajusting X server"
66
,polkit,"manages user policies."
7-
,libertinus-font,"provides the sans and serif fonts for LARBS."
7+
,otf-libertinus,"provides the sans and serif fonts for LARBS."
88
,ttf-font-awesome,"provides extended glyph support."
99
,ttf-dejavu,"properly displays emojis."
1010
A,lf-git,"is an extensive terminal file manager that everyone likes."

0 commit comments

Comments
 (0)