Update settings.c

This commit is contained in:
Robin Jones 2023-11-10 17:29:20 +00:00 committed by GitHub
parent 4010aa5150
commit 1a42d69599
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23