From 2e6abac5b5559fb79a3556cc151037c0f32c4335 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Uwe=20K=C3=B6cher?= <koecher@hsu-hamburg.de>
Date: Fri, 30 Oct 2015 16:31:28 +0100
Subject: [PATCH] deal.II: @tjhei (Timo Heister) provides a mirror server from
 Clemson for deal.II

---
 project-deal.II.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/project-deal.II.cfg b/project-deal.II.cfg
index f18968a..ff57b9d 100644
--- 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
-- 
2.39.5