zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-11-08 15:44:31 +03:00
Code Issues Packages Projects Releases Wiki Activity
5361a499ae
zed/assets/settings
History
Kirill Bulatov d38a2b793e Do not add diagnostics for any selection in the diagnostics panel
2023-11-10 13:35:58 +02:00
..
default.json Do not add diagnostics for any selection in the diagnostics panel 2023-11-10 13:35:58 +02:00
initial_local_settings.json Fix comments in settings files 2023-06-13 04:03:51 -04:00
initial_user_settings.json Fix comments in settings files 2023-06-13 04:03:51 -04:00