From 5e90f25606de7df49519ac6c24685ff737aba882 Mon Sep 17 00:00:00 2001 From: Jens Bendisposto <jens@bendisposto.de> Date: Mon, 25 Jul 2016 09:03:04 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index efdbe9a..002ac04 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 http://nightly.cobra.cs.uni-duesseldorf.de/camille/ +We autmatically produce nightly builds that can be installed using the update site located at https://www3.hhu.de/stups/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) -- GitLab