From 229a501defa7f47f504905417e850a60561621c2 Mon Sep 17 00:00:00 2001 From: Christian Date: Tue, 11 Dec 2012 20:37:12 -0500 Subject: [PATCH] Remove extraneous patch file --- .../net/minecraft/src/GuiConnecting.java.patch | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 fml/patches/minecraft/net/minecraft/src/GuiConnecting.java.patch diff --git a/fml/patches/minecraft/net/minecraft/src/GuiConnecting.java.patch b/fml/patches/minecraft/net/minecraft/src/GuiConnecting.java.patch deleted file mode 100644 index 25a3a72da..000000000 --- a/fml/patches/minecraft/net/minecraft/src/GuiConnecting.java.patch +++ /dev/null @@ -1,13 +0,0 @@ ---- ../src-base/minecraft/net/minecraft/src/GuiConnecting.java -+++ ../src-work/minecraft/net/minecraft/src/GuiConnecting.java -@@ -122,4 +122,10 @@ - { - return p_74251_0_.field_73882_e; - } -+ -+ public static void forceTermination(GuiConnecting gui) -+ { -+ gui.field_74258_b = true; -+ gui.field_74259_a = null; -+ } - }