Max Brunsfeld a890b8f3b7 Add a setting for ensuring a single final newline on save

2023-02-28 21:52:00 -08:00

..

default.json

Add a setting for ensuring a single final newline on save

2023-02-28 21:52:00 -08:00

initial_user_settings.json

Avoid copying all default settings to initial user settings

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