From e62f0652c0a45f347809e96090a19197106be75e Mon Sep 17 00:00:00 2001 From: Didier Vojtisek Date: Wed, 2 Aug 2023 09:18:39 +0200 Subject: [PATCH] eclipse 2023-06 --- k3-tools/fr.inria.diverse.k3.tools.root/pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/k3-tools/fr.inria.diverse.k3.tools.root/pom.xml b/k3-tools/fr.inria.diverse.k3.tools.root/pom.xml index b7658ba2..b992d811 100644 --- a/k3-tools/fr.inria.diverse.k3.tools.root/pom.xml +++ b/k3-tools/fr.inria.diverse.k3.tools.root/pom.xml @@ -19,7 +19,7 @@ xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xs 4.0.1 4.0.1 - http://download.eclipse.org/releases/2022-06/ + http://download.eclipse.org/releases/2023-06/ UTF-8 2.31.0