From 9a1053f8d9c2dad459e9db522dfec087445f71ca Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Peter=20W=2E=20V=2E=20Tran-J=C3=B8rgensen?= Date: Mon, 26 Sep 2016 15:27:30 +0200 Subject: [PATCH] Update Overture repository --- pom.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index 9d439619..44cb7a00 100644 --- a/pom.xml +++ b/pom.xml @@ -367,12 +367,12 @@ http://mojo.codehaus.org/versions-maven-plugin/ overture.au.dk overture.au.dk-releases - http://overture.au.dk/artifactory/overture-vdm2c + http://overture.au.dk/artifactory/vdm2c overture.au.dk overture.au.dk-snapshots - http://overture.au.dk/artifactory/overture-vdm2c + http://overture.au.dk/artifactory/vdm2c