vincent 2ed375d0c2 change terminator font		2021-11-07 08:32:54 +01:00
..
config	change terminator font	2021-11-07 08:32:54 +01:00