From edc1db27225746214358485db830e8cf59b7f91b Mon Sep 17 00:00:00 2001
From: Dan Frumin <dfrumin@cs.ru.nl>
Date: Mon, 18 Mar 2019 11:33:15 +0100
Subject: [PATCH] update readme

---
 README.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/README.md b/README.md
index e79f56c..b86de6c 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,13 @@
+# THIS PROJECT HAS MOVED TO
+<https://gitlab.mpi-sws.org/iris/reloc>
+
+
+The code here remains for historical reasons
+.
+.
+.
+.
+
 # Prerequisites
 
 This version is known to compile with:
-- 
2.22.0