From: Timo Heister <timo.heister@gmail.com>
Date: Fri, 5 Oct 2018 15:26:31 +0000 (+0200)
Subject: change mirror
X-Git-Tag: v9.0.0~2^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0d21f6195c842113904096a7f79229520186b4d4;p=candi.git

change mirror

1. url at clemson changed
2. also add tjhei.info (which redirects to clemson for now, but allows
me to change it
---

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