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