Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

New version: RemoteREPL v0.2.12 #52286

Merged
merged 1 commit into from
Jan 13, 2022
Merged

New version: RemoteREPL v0.2.12 #52286

merged 1 commit into from
Jan 13, 2022

Commits on Jan 13, 2022

  1. New version: RemoteREPL v0.2.12 

    UUID: 1bd9f7bb-701c-4338-bec7-ac987af7c555
Repo: https://github.com/c42f/RemoteREPL.jl.git
Tree: 0c3e240497a12c265b117c41c57070a243a2486f

Registrator tree SHA: 8e1a5ac2695627143951512d700c7e3c445102ec
    @JuliaRegistrator
    JuliaRegistrator committed Jan 13, 2022
    Configuration menu
    Copy the full SHA
    9b4f7ed View commit details
    Browse the repository at this point in the history