shell-things/conf/foot
2023-10-10 12:40:37 +03:00
..
font.ini foot/font.ini: merge the lines, add line-height=15 2023-10-10 12:40:37 +03:00
foot.ini conf/foot: cut font to font.ini for easier per-device adjustment 2022-06-04 22:26:02 +03:00