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 #849 from zed-industries/fix-project-diagnostic-ui-glitch
Unverified
Remove summaries that don't contain any errors or warnings
e8728f4ce2
Antonio Scandurra committed on 4/19/2022, 3:13:32 PM
· committed by GitHub
parents
1cd23df
ef784cf
Files Changed
5 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
crates
crates
…
collab/src
collab/src
…
rpc.rs
rpc.rs
…
project/src
project/src
…
project.rs
project.rs
…
worktree.rs
worktree.rs
…
rpc
rpc
…
proto
proto
…
zed.proto
zed.proto
…
src
src
…
rpc.rs
rpc.rs
…