zed/assets/settings
2022-10-20 15:31:17 -04:00
..
default.json Rename One theme and update Zed default theme 2022-10-20 15:31:17 -04:00
initial_user_settings.json Avoid copying all default settings to initial user settings 2022-07-13 17:07:41 -07:00