mirror of
https://github.com/OpenSpace/OpenSpace.git
synced 2026-05-13 14:59:02 -05:00
2f01618e16
This merge changes the default websocket port from 8001 to 4862.