From 209a672edf750c9646af401570dbb04e886ffb56 Mon Sep 17 00:00:00 2001 From: rednotsus Date: Fri, 1 Nov 2024 11:48:37 -0500 Subject: [PATCH] Rename asmallworldcup to asmallworldcup.html --- static/misc/play/{asmallworldcup => asmallworldcup.html} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename static/misc/play/{asmallworldcup => asmallworldcup.html} (100%) diff --git a/static/misc/play/asmallworldcup b/static/misc/play/asmallworldcup.html similarity index 100% rename from static/misc/play/asmallworldcup rename to static/misc/play/asmallworldcup.html