Kirill Bulatov d38a2b793e Do not add diagnostics for any selection in the diagnostics panel

2023-11-10 13:35:58 +02:00

..

default.json

Do not add diagnostics for any selection in the diagnostics panel

2023-11-10 13:35:58 +02:00

initial_local_settings.json

Fix comments in settings files

2023-06-13 04:03:51 -04:00

initial_user_settings.json

Fix comments in settings files

2023-06-13 04:03:51 -04:00