Clean up interface switcher plugin in preparation for release#6766
Merged
jtpio merged 8 commits intojupyter:mainfrom Mar 14, 2023
Merged
Clean up interface switcher plugin in preparation for release#6766jtpio merged 8 commits intojupyter:mainfrom
jtpio merged 8 commits intojupyter:mainfrom
Commits
Commits on Mar 13, 2023
- committed
- committed
- committed
- committed
- committed
- andauthored
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}
