From ab5f7e762329b51e5b0bb5ae14194f9d3aa4c5ba Mon Sep 17 00:00:00 2001
From: 8B-Class <138661374+8B-Class@users.noreply.github.com>
Date: Tue, 2 Jul 2024 10:44:02 +0100
Subject: [PATCH] Rename mic.is-local.org to mic.is-local.org.json

---
 domains/{mic.is-local.org => mic.is-local.org.json} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename domains/{mic.is-local.org => mic.is-local.org.json} (100%)

diff --git a/domains/mic.is-local.org b/domains/mic.is-local.org.json
similarity index 100%
rename from domains/mic.is-local.org
rename to domains/mic.is-local.org.json