![]() Adds a `global_settings.json` file which can be set up by enterprises with automation, enabling setting settings like edit provider by default without interfering with user's settings files. Release Notes: - N/A --------- Co-authored-by: Marshall Bowers <git@maxdeviant.com> |
||
---|---|---|
.. | ||
zed | ||
main.rs | ||
reliability.rs | ||
zed.rs |