84b34677e2
This PR makes it so dev extensions that are installed are excluded when checking for extension updates. We don't want to accidentally clobber dev extensions if the upstream extension is deemed more "up-to-date". Release Notes: - Changed dev extensions to be excluded from extension auto-updates. |
||
|---|---|---|
| .. | ||
| wasm_host | ||
| extension_builder.rs | ||
| extension_indexed_docs_provider.rs | ||
| extension_lsp_adapter.rs | ||
| extension_manifest.rs | ||
| extension_settings.rs | ||
| extension_slash_command.rs | ||
| extension_store.rs | ||
| extension_store_test.rs | ||
| wasm_host.rs | ||