Merge pull request #785 from zed-industries/collab-renames

Rename zed-server to collab
e9214dc05dNathan Sobo committed on 4/12/2022, 2:56:37 AM· committed by GitHubparents54d49c1d8e4e92
64 files changedLine totals unavailable