diff options
Diffstat (limited to '')
| -rw-r--r-- | java/eclipse-devel/files/patch-plugins-ui-intro-universal-plugin.xml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/java/eclipse-devel/files/patch-plugins-ui-intro-universal-plugin.xml b/java/eclipse-devel/files/patch-plugins-ui-intro-universal-plugin.xml new file mode 100644 index 000000000000..f4619e7aff75 --- /dev/null +++ b/java/eclipse-devel/files/patch-plugins-ui-intro-universal-plugin.xml @@ -0,0 +1,11 @@ +--- plugins/org.eclipse.ui.intro.universal/plugin.xml.orig 2007-06-26 04:57:27.000000000 +0900 ++++ plugins/org.eclipse.ui.intro.universal/plugin.xml 2007-09-06 11:28:55.000000000 +0900 +@@ -35,7 +35,7 @@ + <implementation + style="$theme$/html/shared.css,themes/shared/html/shared.css" + kind="html" +- os="win32,linux,macosx"> ++ os="win32,freebsd,linux,macosx"> + </implementation> + <implementation + kind="swt"> |