Skip to content

Make INotebookTracker optional in the manager plugin#3033

Merged
jasongrout merged 1 commit intojupyter-widgets:7.xfrom jtpio:optional-trackerFeb 17, 2021

Commits

Commits on Dec 9, 2020