From c1cdc0d5df857fcaa88c0a38da75afb14d9ffeb6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Juan=20Francisco=20Vargas=20Maga=C3=B1a?= <97931813+YNK0@users.noreply.github.com> Date: Tue, 22 Jul 2025 16:37:01 -0600 Subject: [PATCH] Rename franciscovmag.is-a.dev.json to franciscovmag.json --- domains/{franciscovmag.is-a.dev.json => franciscovmag.json} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename domains/{franciscovmag.is-a.dev.json => franciscovmag.json} (100%) diff --git a/domains/franciscovmag.is-a.dev.json b/domains/franciscovmag.json similarity index 100% rename from domains/franciscovmag.is-a.dev.json rename to domains/franciscovmag.json