Remove extraneous patch file

2012-12-11 20:37:12 -05:00 · 2012-12-11 20:37:12 -05:00 · 229a501def
parent 64226c3d7e
commit 229a501def
1 changed files with 0 additions and 13 deletions
--- a/fml/patches/minecraft/net/minecraft/src/GuiConnecting.java.patch
+++ b/fml/patches/minecraft/net/minecraft/src/GuiConnecting.java.patch
@ -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;
-+    }
- }