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 #667 from zed-industries/fix-duplicate-nav-entries
Unverified
Fix duplicate nav entries
cbd4ef2ec5
Max Brunsfeld committed on 3/23/2022, 6:49:00 PM
· committed by GitHub
parents
eb40356
e36104f
Files Changed
7 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
crates
crates
…
diagnostics/src
diagnostics/src
…
diagnostics.rs
diagnostics.rs
…
editor/src
editor/src
…
editor.rs
editor.rs
…
items.rs
items.rs
…
search/src
search/src
…
project_search.rs
project_search.rs
…
workspace/src
workspace/src
…
pane.rs
pane.rs
…
workspace.rs
workspace.rs
…
zed/src
zed/src
…
zed.rs
zed.rs
…