child 214:51db59e68f0b
parent 212:f5b235eee660
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?)

/etc/apt/apt.conf.d/

.. drwxr-xr-x
99downloaded 50 -rw-r--r-- file | revisions | annotate
99phased 47 -rw-r--r-- file | revisions | annotate
99recommends 30 -rw-r--r-- file | revisions | annotate