1 files changed, 0 insertions, 11 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
deleted file mode 100644
index f4619e7aff75..000000000000
--- a/java/eclipse-devel/files/patch-plugins-ui-intro-universal-plugin.xml
+++ /dev/null
@@ -1,11 +0,0 @@
---- 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">