# HG changeset patch
# User kleing
# Date 1052747173 -7200
# Node ID b5372f8e34d6d89aeebde44d33a7cb8c25bc14d9
# Parent  f3f16f9f203067827d5e6ca289bbe0065bd4bdfd
removed new jersey mirror

diff -r f3f16f9f2030 -r b5372f8e34d6 Admin/page/dist-content/index.content
--- a/Admin/page/dist-content/index.content	Mon May 12 15:07:11 2003 +0200
+++ b/Admin/page/dist-content/index.content	Mon May 12 15:46:13 2003 +0200
@@ -18,10 +18,6 @@
 <li><a href="http://isabelle.in.tum.de/dist/packages.html">Munich
 (Germany)</a>
 	
-<li><a
-href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/packages.html">New
-Jersey (USA)</a>
-
 </ul>