Nate Butler bd8509990a Rename One theme and update Zed default theme

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