fix(settings): Rename file so that it can be imported by python

This commit is contained in:
Tom Hubrecht 2024-05-10 19:41:02 +02:00
parent 7a871a8405
commit a6d1aa2c74