MeeseeksMachine 657f572a36 Backport PR #11198: Rename "JupyterLab Theme" to "Theme" (#11199) 3 år sedan
..
palette.json a8dff39a1a Build menus from settings (#10254) 3 år sedan
print.json a8dff39a1a Build menus from settings (#10254) 3 år sedan
themes.json 657f572a36 Backport PR #11198: Rename "JupyterLab Theme" to "Theme" (#11199) 3 år sedan
workspaces.json a8dff39a1a Build menus from settings (#10254) 3 år sedan