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