From d0c655852b597668d8ddba4d0286100d2804eca3 Mon Sep 17 00:00:00 2001 From: Gergely Polonkai Date: Fri, 5 Dec 2025 10:20:42 +0100 Subject: [PATCH] Rename settingstypes.txt to settingtypes.txt MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This is the correct name; the old file wasn’t processed by Luanti. --- settingstypes.txt => settingtypes.txt | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename settingstypes.txt => settingtypes.txt (100%) diff --git a/settingstypes.txt b/settingtypes.txt similarity index 100% rename from settingstypes.txt rename to settingtypes.txt