From 1cfb25a50f14dd2da3396bcfcb2753d0059ad466 Mon Sep 17 00:00:00 2001 From: jeroenpraat Date: Sat, 14 Feb 2015 18:19:52 +0100 Subject: Note to myself: don't forget to remove the patch files from the repo. --- 0001-Dead-dir-server.patch | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 0001-Dead-dir-server.patch (limited to '0001-Dead-dir-server.patch') diff --git a/0001-Dead-dir-server.patch b/0001-Dead-dir-server.patch deleted file mode 100644 index a6cc4e032..000000000 --- a/0001-Dead-dir-server.patch +++ /dev/null @@ -1,24 +0,0 @@ -From 4bb329caa45633526d9915796fe268500a08af23 Mon Sep 17 00:00:00 2001 -From: Thomas Willingham -Date: Sat, 14 Feb 2015 16:07:45 +0000 -Subject: [PATCH] Dead dir server - ---- - boot.php | 1 - - 1 file changed, 1 deletion(-) - -diff --git a/boot.php b/boot.php -index f632931..952832d 100755 ---- a/boot.php -+++ b/boot.php -@@ -84,7 +84,6 @@ $DIRECTORY_FALLBACK_SERVERS = array( - 'https://red.zottel.red', - 'https://red.pixelbits.de', - 'https://my.federated.social', -- 'https://whogotzot.com', - 'https://redmatrix.nl' - ); - --- -1.9.1 - -- cgit v1.2.3