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 #1207 from zed-industries/remove-folder-from-project
Unverified
Replace "Remove Folder from Project" label with "Remove from Project`
9cf1774ca8
Antonio Scandurra committed on 6/20/2022, 8:58:20 AM
· committed by GitHub
parents
4bb5a2f
137a399
Files Changed
2 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
crates
crates
…
project_panel/src
project_panel/src
…
project_panel.rs
project_panel.rs
…
workspace/src
workspace/src
…
workspace.rs
workspace.rs
…