Merge pull request #574 from zed-industries/settings-file

Read settings from a JSON file
e7d0bf1c36Max Brunsfeld committed on 3/13/2022, 5:52:47 PM· committed by GitHubparents1e9b6b0b33a049
32 files changedLine totals unavailable