|
contents
|
Port changes from #3118 to zed2
|
2023-10-27 13:27:55 +02:00 |
|
resources
|
WIP
|
2023-10-21 17:52:47 +02:00 |
|
src
|
Merge branch 'main' into project-panel2
|
2023-11-13 11:26:51 -08:00 |
|
build.rs
|
Make zed2 compile again
|
2023-10-26 15:45:30 +02:00 |
|
Cargo.toml
|
Merge branch 'main' into project-panel2
|
2023-11-13 11:26:51 -08:00 |
