Nathan Sobo ab8204368c Rename zed-server to collab ... Over time, I think we may end up having multiple services, so it seems like a good opportunity to name this one more specifically while the cost is low. It just seems like naming it "zed" and "zed-server" leaves it a bit open ended.		2022-04-09 08:30:42 -06:00
..
hero.svg	Rename zed-server to collab	2022-04-09 08:30:42 -06:00