diff options
author | Greg Lewis <glewis@FreeBSD.org> | 2008-09-06 19:30:17 +0000 |
---|---|---|
committer | Greg Lewis <glewis@FreeBSD.org> | 2008-09-06 19:30:17 +0000 |
commit | 371035ab61bfc6d32fa726bcb15caab6919c9d62 (patch) | |
tree | 34f8ef2833c9c0d09bb2a4c6cc980d8c51b4e1a1 /java/eclipse/files/patch-plugins-ui-intro-universal-plugin.xml | |
parent | Update to 0.16.0.20080905; it works with GTK+ 2.14.x (current in MC CVS). (diff) |
. Update to Eclipse Europa, copied over from eclipse-devel.
Diffstat (limited to 'java/eclipse/files/patch-plugins-ui-intro-universal-plugin.xml')
-rw-r--r-- | java/eclipse/files/patch-plugins-ui-intro-universal-plugin.xml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/java/eclipse/files/patch-plugins-ui-intro-universal-plugin.xml b/java/eclipse/files/patch-plugins-ui-intro-universal-plugin.xml new file mode 100644 index 000000000000..f4619e7aff75 --- /dev/null +++ b/java/eclipse/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"> |