diff mbox series

[wwwdocs] Remove babyname.tips mirror

Message ID alpine.LSU.2.21.1803041058250.4782@anthias.pfeifer.com
State New
Headers show
Series [wwwdocs] Remove babyname.tips mirror | expand

Commit Message

Gerald Pfeifer March 4, 2018, 9:59 a.m. UTC 
It appears the entire mirror infrastructure is gone (empty), so 
remove this from our mirror list.

Applied.

Gerald
diff mbox series

Patch

Index: mirrors.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/mirrors.html,v
retrieving revision 1.247
diff -u -r1.247 mirrors.html
--- mirrors.html	4 Mar 2018 09:54:33 -0000	1.247
+++ mirrors.html	4 Mar 2018 09:57:26 -0000
@@ -28,7 +28,6 @@ 
   thanks to Tim Semeijn (noc@babylon.network) at Babylon Network.</li>
 <li>France, Versailles: <a href="ftp://ftp.uvsq.fr/pub/gcc/">ftp.uvsq.fr</a>, thanks to ftpmaint at uvsq.fr</li>
 <li>Germany, Berlin: <a href="ftp://ftp.fu-berlin.de/unix/languages/gcc/">ftp.fu-berlin.de</a>, thanks to ftp at fu-berlin.de</li>
-<li>Germany, Gunzenhausen: <a href="http://babyname.tips/mirrors/gcc/">babyname.tips</a>, thanks to Ionut Vatavu (ivatav@googlemail.com).</li>
 <li>Germany: <a href="ftp://ftp.gwdg.de/pub/misc/gcc/">ftp.gwdg.de</a>, thanks to emoenke at gwdg.de</li>
 <li>Germany: <a href="ftp://ftp.mpi-sb.mpg.de/pub/gnu/mirror/gcc.gnu.org/pub/gcc/">ftp.mpi-sb.mpg.de</a>, thanks to ftpadmin at mpi-sb.mpg.de</li>
 <li>Germany: <a href="http://gcc.cybermirror.org">http://gcc.cybermirror.org</a>, thanks to Sascha Schwarz (cm at cybermirror.org)</li>