From e15466357228860d5901cec9a712a1a99d212e79 Mon Sep 17 00:00:00 2001 From: "Tobias C. Berner" Date: Fri, 20 Mar 2020 20:23:19 +0000 Subject: java/eclipse: update to 4.15 PR: 244927 Submitted by: Jonathan Chen (maintainer) --- java/eclipse/files/patch-eclipse.platform.resources | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'java/eclipse/files/patch-eclipse.platform.resources') diff --git a/java/eclipse/files/patch-eclipse.platform.resources b/java/eclipse/files/patch-eclipse.platform.resources index ae4a03dcd441..c771fc9ae4a1 100644 --- a/java/eclipse/files/patch-eclipse.platform.resources +++ b/java/eclipse/files/patch-eclipse.platform.resources @@ -67,7 +67,7 @@ diff -ru eclipse.platform.resources/bundles/org.eclipse.core.filesystem.freebsd. 1.2.300-SNAPSHOT eclipse-plugin -@@ -37,9 +37,9 @@ +@@ -33,9 +33,9 @@ p2 @@ -79,7 +79,7 @@ diff -ru eclipse.platform.resources/bundles/org.eclipse.core.filesystem.freebsd. -@@ -54,7 +54,7 @@ +@@ -50,7 +50,7 @@ native @@ -88,7 +88,7 @@ diff -ru eclipse.platform.resources/bundles/org.eclipse.core.filesystem.freebsd. -@@ -67,10 +67,10 @@ +@@ -63,10 +63,10 @@ process-resources -- cgit v1.2.3