child 190:eb2b00e9f0a8
parent 188:9abd1bebf59c
189:56c8e03f9679
Anton Shestakov <av6@dwimlabs.net>, Fri, 10 Apr 2020 22:02:01 +0800
terminalrc: current settings (mostly from Misc section), also use system font

/fonts/

.. drwxr-xr-x
local.conf 527 -rw-r--r-- file | revisions | annotate