Petros Amoiridis bed76462e2 Define tab_size equal to 2 in default settings

2023-04-20 14:06:43 +03:00

..

default.json

Define tab_size equal to 2 in default settings

2023-04-20 14:06:43 +03:00

initial_user_settings.json

Avoid copying all default settings to initial user settings

2022-07-13 17:07:41 -07:00