Johannes Rothe 39d2b90676 terminator: increase font size a bit

2018-09-03 16:26:38 +02:00

..

config

terminator: increase font size a bit

2018-09-03 16:26:38 +02:00