Details
-
New Feature
-
Status: Closed
-
Major
-
Resolution: Fixed
-
shell.remote-1.0.4
-
None
Description
Currently, shell.remote only supports the Felix shell. It would be nice if it also supported the Gogo shell.
Currently, shell.remote only supports the Felix shell. It would be nice if it also supported the Gogo shell.