Skip to content

Expose a public property to sort extensions deterministically.#522

Merged
blink1073 merged 1 commit intojupyter-server:masterfrom Zsailer:extension-managerMay 20, 2021
+7-2

Commits

Commits on May 19, 2021