deal.II: @tjhei (Timo Heister) provides a mirror server from Clemson for deal.II

diff --git a/project-deal.II.cfg b/project-deal.II.cfg
index f18968ae5f551c38a05201b12a2011790afa0a70..ff57b9da09b76c07d74897241ae158632d17cf4e 100644 (file)
--- a/project-deal.II.cfg
+++ b/project-deal.II.cfg
@@ -9,7 +9,7 @@ CLEAN_BUILD=false
 
 #########################################################################
 # Set up a (local) mirror server url, to speed up your package downloads:
-#MIRROR=
+MIRROR="https://www.ces.clemson.edu/dealii/mirror/"
 
 #########################################################################
 #Choose components of deal.II