Sign up
gitcafe
/
zed
Code
Issues
Pulls
CI
Stacks
Search
Branches
Tags
Code
Issues
Pulls
CI
Stacks
Search
Branches
Tags
More
View stargazers
0
Sign up
Code
Merge pull request #2335 from zed-industries/dont-delete-json-server-after-downloading-it
Unverified
Don't delete JSON language server directly after downloading it
516e77906e
Julia committed on 3/31/2023, 6:08:09 PM
· committed by GitHub
parents
54582fd
0199ffe
Files Changed
1 file changed
Line totals unavailable
Ignore whitespace
Unified
Split
crates/zed/src/languages
crates/zed/src/languages
…
json.rs
json.rs
…