Allow setting ZED_SERVER_URL to URL of a collab server

83e4e26989Max Brunsfeld committed on 10/19/2022, 8:27:14 PMparentc410935
2 files changedLine totals unavailable