zed/assets/settings
2023-01-03 13:50:08 -05:00
..
default.json Correct default settings' name key for RA in init options example 2023-01-03 13:50:08 -05:00
initial_user_settings.json Avoid copying all default settings to initial user settings 2022-07-13 17:07:41 -07:00