213:67ef4e6e6ceb
Anton Shestakov <av6@dwimlabs.net>, Sat, 08 May 2021 07:52:45 +0800
terminalrc: add new terminal options, switch to 11 font (the same as old 10?)

previous change 71:60c7d2a1ec38

docs/prompt-git.png

Permissions: -rw-r--r--

Other formats: Feeds:
(binary:image/png)