You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It would be helpful to have a --version command line argument and/or Connection.version() command in the Remote APIs (saw-remote-api as well as cryptol-remote-api).
The text was updated successfully, but these errors were encountered:
It would be helpful to have a
--version
command line argument and/orConnection.version()
command in the Remote APIs (saw-remote-api
as well ascryptol-remote-api
).The text was updated successfully, but these errors were encountered: