child 163:41a60371e872
parent 161:606cda98621a
162:3a9410f18f71
Anton Shestakov <av6@dwimlabs.net>, 2019-01-18
.hgrc: more config knobs, less built-in extensions

/.mozilla/firefox/

.. drwxr-xr-x
profile/ chrome drwxr-xr-x files