Use Configy to read user settings (`settings.json`) too#2343

Merged

Geod24 merged 1 commit intodlang:masterfrom Geod24:configy-user-setting

Jul 29, 2022

+203-199

Commits on Jul 29, 2022

Parse settings.json using configy
Geod24
committed