Skip to content

docs: mention what server is in JuliaHub.authenticate#80

Merged
mortenpi merged 1 commit intomainfrom
asinghvi17-patch-1
Feb 5, 2025
Merged

docs: mention what `server` is in `JuliaHub.authenticate`#80
mortenpi merged 1 commit intomainfrom
asinghvi17-patch-1

Commits

Commits on Feb 4, 2025