Max Brunsfeld 1096720b41 Merge pull request #2244 from zed-industries/less-surprising-defaults ...

Clean up some default settings

2023-03-13 11:54:46 -07:00

..

default.json

Merge pull request #2244 from zed-industries/less-surprising-defaults

2023-03-13 11:54:46 -07:00

initial_user_settings.json

Avoid copying all default settings to initial user settings

2022-07-13 17:07:41 -07:00