From d8bde7829036e7770bba8128cb264c5bd85ade2e Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Mon, 8 Dec 2025 09:53:58 +0000
Subject: [PATCH] Update dependency
 org.eclipse.platform:org.eclipse.core.resources to v3.23.100

---
 eclipse-standalone/build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eclipse-standalone/build.gradle b/eclipse-standalone/build.gradle
index f78d891a..94ab25e4 100644
--- a/eclipse-standalone/build.gradle
+++ b/eclipse-standalone/build.gradle
@@ -4,7 +4,7 @@ plugins {
 
 dependencies {
     api files("libs/org.eclipse.jdt.core-3.28.0.jar")
-    api("org.eclipse.platform:org.eclipse.core.resources:3.20.0")
+    api("org.eclipse.platform:org.eclipse.core.resources:3.23.100")
     api("org.eclipse.platform:org.eclipse.core.runtime:3.31.0")
     api("org.eclipse.platform:org.eclipse.core.filesystem:1.10.200")
     api("org.eclipse.platform:org.eclipse.text:3.12.0")