- Notifications
You must be signed in to change notification settings - Fork5.5k
Change "Interface" menu to "Open in...", shorten names of menu items inside#6847
Merged
jtpio merged 18 commits intojupyter:mainfromMay 5, 2023
Merged
Change "Interface" menu to "Open in...", shorten names of menu items inside#6847jtpio merged 18 commits intojupyter:mainfrom
jtpio merged 18 commits intojupyter:mainfrom
Commits
Commits on May 2, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on May 4, 2023
Commits on May 5, 2023
- committed
- committed
- committed
- committed