From 0d21f6195c842113904096a7f79229520186b4d4 Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Fri, 5 Oct 2018 17:26:31 +0200
Subject: [PATCH] change mirror

1. url at clemson changed
2. also add tjhei.info (which redirects to clemson for now, but allows
me to change it
---
 candi.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/candi.cfg b/candi.cfg
index fb4adbf..a684ceb 100644
--- a/candi.cfg
+++ b/candi.cfg
@@ -22,7 +22,7 @@ INSTALL_PATH=${PREFIX_PATH}
 # Set up mirror server url(s), to speed up downloads, e.g.
 #   MIRROR="${MIRROR} http://server1.org/package_mirror_dir/"
 #   MIRROR="${MIRROR} ftp://server2.org/package_mirror_dir/"
-MIRROR="https://www.ces.clemson.edu/dealii/mirror/"
+MIRROR="https://tjhei.info/candi-mirror/ https://cecas.clemson.edu/dealii/mirror/"
 
 #########################################################################
 #Choose configuration and components of deal.II
-- 
2.39.5