- obsolete.

Changed files:
    eclipse-string.patch -> 1.3

diff --git a/eclipse-string.patch b/eclipse-string.patch
deleted file mode 100644 (file)
index 786a607..0000000
--- a/eclipse-string.patch
+++ /dev/null
@@ -1,18 +0,0 @@
---- eclipse.org/plugins/org.eclipse.ui.browser/src/org/eclipse/ui/internal/browser/ExternalBrowserInstance.java.org    2005-04-22 22:03:17.187138192 +0200
-+++ eclipse/plugins/org.eclipse.ui.browser/src/org/eclipse/ui/internal/browser/ExternalBrowserInstance.java    2005-04-22 22:03:49.504520112 +0200
-@@ -74,7 +74,7 @@
-                       public void run() {
-                               try {
-                                       process.waitFor();
--                                      DefaultBrowserSupport.getInstance().removeBrowser(getId());
-+                                      DefaultBrowserSupport.getInstance().removeBrowser(ExternalBrowserInstance.this.getId());
-                               } catch (Exception e) {
-                                       // ignore
-                               }
-@@ -92,4 +92,4 @@
-                       return false;
-               }
-       }
--}
-\ Brak znaku nowej linii na koñcu pliku
-+}