Skip to content

Fix server-extension paths (3rd time's the charm)#734

Merged
blink1073 merged 2 commits intojupyter-server:mainfrom minrk:revert-revertMar 14, 2022

Commits

Commits on Mar 14, 2022