mirror of
https://github.com/powerline/powerline.git
synced 2025-04-08 19:25:04 +02:00
parent
c5692bf94f
commit
e094e3c5a9
@ -10,6 +10,18 @@
|
||||
<family>Droid Sans Mono</family>
|
||||
<prefer><family>PowerlineSymbols</family></prefer>
|
||||
</alias>
|
||||
<alias>
|
||||
<family>Droid Sans Mono Slashed</family>
|
||||
<prefer><family>PowerlineSymbols</family></prefer>
|
||||
</alias>
|
||||
<alias>
|
||||
<family>Droid Sans Mono Dotted</family>
|
||||
<prefer><family>PowerlineSymbols</family></prefer>
|
||||
</alias>
|
||||
<alias>
|
||||
<family>DejaVu Sans Mono</family>
|
||||
<prefer><family>PowerlineSymbols</family></prefer>
|
||||
</alias>
|
||||
<alias>
|
||||
<family>DejaVu Sans Mono</family>
|
||||
<prefer><family>PowerlineSymbols</family></prefer>
|
||||
|
Loading…
x
Reference in New Issue
Block a user