This website requires JavaScript.
Explore
Help
Sign in
mirrors
/
zed
Watch
1
Star
0
Fork
You've already forked zed
0
mirror of
https://github.com/zed-industries/zed.git
synced
2025-01-12 05:15:00 +00:00
Code
Issues
Projects
Releases
Packages
Wiki
Activity
Actions
8
a217e2e64b
zed
/
crates
/
collab
/
src
History
Antonio Scandurra
875cb13e6d
Rename "crash" to "panic"
...
We are not really sending crash reports but Rust panics, so might as well be clear about that.
2022-05-02 17:36:56 +02:00
..
bin
rpc
api.rs
Rename "crash" to "panic"
2022-05-02 17:36:56 +02:00
auth.rs
db.rs
env.rs
errors.rs
main.rs
rpc.rs
Merge pull request
#929
from zed-industries/non-uniform-batched-edits
2022-04-29 16:14:38 -07:00