From 39e6a34ae6ddf0e99697dc88f510da709e6f7bdb Mon Sep 17 00:00:00 2001 From: Chqrix Date: Tue, 16 Oct 2018 21:10:54 -0700 Subject: [PATCH] Rename edmonds15.org to edmonds15.txt --- lib/domains/org/{edmonds15.org => edmonds15.txt} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename lib/domains/org/{edmonds15.org => edmonds15.txt} (100%) diff --git a/lib/domains/org/edmonds15.org b/lib/domains/org/edmonds15.txt similarity index 100% rename from lib/domains/org/edmonds15.org rename to lib/domains/org/edmonds15.txt