diff options
| author | Greg Lewis <glewis@FreeBSD.org> | 2010-07-10 19:34:30 +0000 |
|---|---|---|
| committer | Greg Lewis <glewis@FreeBSD.org> | 2010-07-10 19:34:30 +0000 |
| commit | 284dad3f6de67888b34ca18026e068770214b2ea (patch) | |
| tree | f0fbc6214a30b0af9a0fd70ecd7a22617d889975 /java/eclipse/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-browser-BrowserManager.java | |
| parent | ebf6393e5eb60c8e86ef9a2c59e7be5490358a70 (diff) | |
Notes
Diffstat (limited to 'java/eclipse/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-browser-BrowserManager.java')
| -rw-r--r-- | java/eclipse/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/files/patch-plugins-org.eclipse.help.base-src-org-eclipse-help-internal-browser-BrowserManager.java b/java/eclipse/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/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) { |