Remove need for settings file to dump proto#919

Merged

michaeldjeffrey merged 1 commit intomainfrom mj/remove-settings-for-dump

Dec 17, 2024

+9-8

Commits on Dec 16, 2024

Remove need for settings file to dump file
michaeldjeffrey
committed