From 68c65aa652f48a9aab3af3cdcd3a71e1c68d515a Mon Sep 17 00:00:00 2001
From: "Bernhard J. Berger" <bernhard.berger@uni-bremen.de>
Date: Thu, 9 Feb 2023 10:58:58 +0100
Subject: [PATCH] Updated mirror entry.
---
ci/settings.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ci/settings.xml b/ci/settings.xml
index c85cb9f8..dc86f8bc 100644
--- a/ci/settings.xml
+++ b/ci/settings.xml
@@ -30,7 +30,7 @@
<mirrors>
<mirror>
<id>local-eclipse-mirror</id>
- <mirrorOf>eclipse-2021-09</mirrorOf>
+ <mirrorOf>eclipse-2022-12</mirrorOf>
<url>file:${user.home}/.m2/p2-mirror/eclipse-mirror</url>
<layout>p2</layout>
<mirrorOfLayouts>p2</mirrorOfLayouts>
--
GitLab