From 4e938a0fed77e9d6b8d464cd2271c3b40e81c580 Mon Sep 17 00:00:00 2001 From: MaskDuck Date: Sun, 14 Aug 2022 10:28:19 +0700 Subject: [PATCH] Rename TallerThanShort.json to tallerthanshort.json --- domains/{TallerThanShort.json => tallerthanshort.json} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename domains/{TallerThanShort.json => tallerthanshort.json} (100%) diff --git a/domains/TallerThanShort.json b/domains/tallerthanshort.json similarity index 100% rename from domains/TallerThanShort.json rename to domains/tallerthanshort.json