Antonio Scandurra dee6f22ca2 Merge remote-tracking branch 'origin/main' into panels

2023-05-23 08:24:28 +02:00

..

default.json

Merge remote-tracking branch 'origin/main' into panels

2023-05-23 08:24:28 +02:00

initial_user_settings.json

Apply the tab_size change to keymaps and settings

2023-04-20 14:08:30 +03:00