Skip to content

Fix traitlets typing#7082

Merged
jtpio merged 1 commit intojupyter:mainfrom
jtpio:fix-lint
Oct 3, 2023
Merged

Fix traitlets typing#7082
jtpio merged 1 commit intojupyter:mainfrom
jtpio:fix-lint

Commits

Commits on Oct 2, 2023