Get console type from the API, don't allow switching language#120
Merged
mofojed merged 4 commits intodeephaven:mainfrom Jul 27, 2021
Merged
Get console type from the API, don't allow switching language#120mofojed merged 4 commits intodeephaven:mainfrom
mofojed merged 4 commits intodeephaven:mainfrom