From 80b2c1de01b581dd36619083db04ea839062d4c9 Mon Sep 17 00:00:00 2001 From: Tom Wiesing <tkw01536@gmail.com> Date: Tue, 4 Jul 2017 17:45:07 -0400 Subject: [PATCH] Use new.kwarc.info for now --- CNAME | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CNAME b/CNAME index 9c2a71e..6a9b605 100644 --- a/CNAME +++ b/CNAME @@ -1 +1 @@ -kwarc.info +new.kwarc.info -- GitLab