diff options
Diffstat (limited to 'java/eclipse-devel/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-browser-BrowserManager.java')
| -rw-r--r-- | java/eclipse-devel/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-browser-BrowserManager.java | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/java/eclipse-devel/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-browser-BrowserManager.java b/java/eclipse-devel/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-browser-BrowserManager.java deleted file mode 100644 index 8593aa68f156..000000000000 --- a/java/eclipse-devel/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-browser-BrowserManager.java +++ /dev/null @@ -1,10 +0,0 @@ ---- plugins/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java.orig 2008-08-02 15:35:43.000000000 -0400 -+++ plugins/org.eclipse.help.base/src/org/eclipse/help/internal/browser/BrowserManager.java 2008-08-02 15:35:12.000000000 -0400 -@@ -94,6 +94,7 @@ - } else if (Constants.OS_AIX.equalsIgnoreCase(os) - || (Constants.OS_HPUX.equalsIgnoreCase(os)) - || (Constants.OS_LINUX.equalsIgnoreCase(os)) -+ || (Constants.OS_FREEBSD.equalsIgnoreCase(os)) - || (Constants.OS_SOLARIS.equalsIgnoreCase(os))) { - setDefaultBrowserID(BROWSER_ID_MOZILLA); - if (defaultBrowserDesc == null) { |