coolneng 5eba51c4d5 Change cherry font size to 13		2019-04-12 23:42:44 +02:00
..
.xrdb	Change cherry font size to 13	2019-04-12 23:42:44 +02:00