mirror of
https://github.com/zed-industries/zed.git
synced 2024-09-20 19:08:00 +03:00
38bfaba135
Remove the `id` field from `Ping`, because it isn't used. There is already an id on the message envelope. |
||
---|---|---|
.. | ||
proto | ||
src | ||
build.rs | ||
Cargo.toml |