Julia b94c265240 Correct default settings' name key for RA in init options example

2023-01-03 13:50:08 -05:00

..

default.json

Correct default settings' name key for RA in init options example

2023-01-03 13:50:08 -05:00

initial_user_settings.json

Avoid copying all default settings to initial user settings

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