2 Commits

Author	SHA1	Message	Date
Michael Becker	af920815f8	Provide a way to differentiate between application settings (shown in the Settings dialog) and others	2019-07-29 10:35:50 -04:00
Michael Becker	8b42934529	Rename Options to Settings (for whatever reason)	2019-07-29 10:24:08 -04:00