codium-settings/profiles/main/data
Quentin Duchemin 159831de03 Update settings from , profile « main » 2024-10-06 16:00:00 +02:00
..
extensions.yml Update settings from , profile « main » 2024-09-01 18:00:17 +02:00
keybindings-linux.json profile(main): update -- 2023-12-18T14:24:33.595Z 2023-12-18 15:24:33 +01:00
settings.json Update settings from , profile « main » 2024-09-17 15:00:00 +02:00
ui-state.yml Update settings from , profile « main » 2024-10-06 16:00:00 +02:00