Skip to content

Add link to GitHub repo in docs navbar#589

Merged
jtpio merged 1 commit intojupyter-server:mainfrom
krassowski:patch-4
Oct 21, 2024
Merged

Add link to GitHub repo in docs navbar#589
jtpio merged 1 commit intojupyter-server:mainfrom
krassowski:patch-4

Commits

Commits on Oct 21, 2024