From 8a960c724b3dd3ab5e6b30e6530600faee6ccf81 Mon Sep 17 00:00:00 2001 From: dgelessus <dgelessus@users.noreply.github.com> Date: Thu, 2 Feb 2023 17:01:59 +0100 Subject: [PATCH] Update www3 URLs to stups.hhu-hosting.de --- README.md | 2 +- org.eventb.texteditor.feature/camille.target | 2 +- org.eventb.texteditor.parent/pom.xml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 002ac04..2882f98 100644 --- a/README.md +++ b/README.md @@ -12,7 +12,7 @@ Maven 3 is required to build the project: This will produce an updatesite in org.eventb.texteditor.repository/target -We autmatically produce nightly builds that can be installed using the update site located at https://www3.hhu.de/stups/rodin/camille/nightly/ +We autmatically produce nightly builds that can be installed using the update site located at https://stups.hhu-hosting.de/rodin/camille/nightly/ ## Contributing/Bugs Pull requests are very welcome. Suggestions for new extensions and known bugs are tracked on [Github](https://github.com/hhu-stups/camille/issues) diff --git a/org.eventb.texteditor.feature/camille.target b/org.eventb.texteditor.feature/camille.target index 11a0f79..e01f5d7 100644 --- a/org.eventb.texteditor.feature/camille.target +++ b/org.eventb.texteditor.feature/camille.target @@ -19,7 +19,7 @@ <unit id="org.rodinp.feature.group" version="1.8.1.201802230927-6980ca1"/> <unit id="org.rodinp.platform.feature.group" version="3.4.0.201802230927-6980ca1"/> <unit id="org.rodinp.platform.sources.feature.group" version="3.4.0.201802230927-6980ca1"/> -<repository location="https://www3.hhu.de/stups/buildlibs/org.rodinp.dev/"/> +<repository location="https://stups.hhu-hosting.de/buildlibs/org.rodinp.dev/"/> </location> <location includeAllPlatforms="true" includeConfigurePhase="false" includeMode="slicer" includeSource="true" type="InstallableUnit"> <unit id="org.eclipse.emf.compare.feature.group" version="3.3.4.201806221350"/> diff --git a/org.eventb.texteditor.parent/pom.xml b/org.eventb.texteditor.parent/pom.xml index cc096fa..08100ef 100644 --- a/org.eventb.texteditor.parent/pom.xml +++ b/org.eventb.texteditor.parent/pom.xml @@ -30,7 +30,7 @@ <repository> <id>targetRepository2</id> <layout>p2</layout> - <url>https://www3.hhu.de/stups/buildlibs/org.rodinp.dev</url> + <url>https://stups.hhu-hosting.de/buildlibs/org.rodinp.dev</url> </repository> </repositories> -- GitLab