PR: Remove notebook menu items that do not work properly#420
Merged
jitseniesen merged 1 commit intospyder-ide:masterfrom May 21, 2023
Merged
PR: Remove notebook menu items that do not work properly#420jitseniesen merged 1 commit intospyder-ide:masterfrom
jitseniesen merged 1 commit intospyder-ide:masterfrom