shell-things/conf/foot
2022-06-04 22:30:40 +03:00
..
font.ini foot/font.ini: note 10 being better on Sedric 2022-06-04 22:30:40 +03:00
foot.ini conf/foot: cut font to font.ini for easier per-device adjustment 2022-06-04 22:26:02 +03:00