From 0b2536e0e39ddcfb0e00f95e7503053757a07f80 Mon Sep 17 00:00:00 2001 From: Storm Dragon Date: Wed, 4 Dec 2024 14:07:32 -0500 Subject: [PATCH] Improved configuration tool. --- tools/{configure-fenrir => configure_fenrir.py} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tools/{configure-fenrir => configure_fenrir.py} (100%) diff --git a/tools/configure-fenrir b/tools/configure_fenrir.py similarity index 100% rename from tools/configure-fenrir rename to tools/configure_fenrir.py