Skip to content

Migrate shortcut selectors for JupyterLab 4.1+#135

Merged
ianhi merged 2 commits intojupyterlab-contrib:mainfrom krassowski:migrate-shortcutsFeb 7, 2024