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

/.mozilla/firefox/profile/

.. drwxr-xr-x
chrome/ drwxr-xr-x files
user.js 131858 -rw-r--r-- file | revisions | annotate