zed/crates/dev_server_projects
Bennet Bo Fenner 593f0e0c3e
remoting: Edit dev server (#11344)
This PR allows configuring existing dev server, right now you can:
- Change the dev servers name
- Generate a new token (and invalidate the old one)

<img width="563" alt="image"
src="https://github.com/zed-industries/zed/assets/53836821/9bc95042-c969-4293-90fd-0848d021b664">


Release Notes:

- N/A
2024-05-06 12:58:11 +02:00
..
src remoting: Edit dev server (#11344) 2024-05-06 12:58:11 +02:00
Cargo.toml Rename RemoteProject -> DevServerProject (#11301) 2024-05-02 11:00:08 -06:00