ylproj/jupyterlab @ 6d6864079c5b9da8a0779d523e90660e88e6fc5d

Eric Charles 6d6864079c Backport PR #12466: Setting to use the advanced setting editor for the settings		3 年之前
..
form-ui.json	6d6864079c Backport PR #12466: Setting to use the advanced setting editor for the settings	3 年之前
plugin.json	a51e111026 Backport PR #12122: Remove duplicated shortcuts (#12181)	3 年之前