Robin-Charles Guihéneuf 0bc5d22ca6 codium: Remove useless keybinding		2023-02-17 16:51:34 +01:00
..
keybindings.json	codium: Remove useless keybinding	2023-02-17 16:51:34 +01:00
settings.json	codium: Update configuration	2023-02-17 16:51:34 +01:00