Rename settingstypes.txt to settingtypes.txt

This is the correct name; the old file wasn’t processed by Luanti.
This commit is contained in:
2025-12-05 10:20:42 +01:00
parent 807506d92c
commit d0c655852b