From b1b23b1626abcb836bb8ec350f423110ad76eff2 Mon Sep 17 00:00:00 2001 From: Paul Zimmermann Date: Thu, 1 Oct 2020 11:17:29 +0200 Subject: don't use that repository any more, use https://gitlab.inria.fr/mpc/mpc instead --- README | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README b/README index f850ef7..0943557 100644 --- a/README +++ b/README @@ -1,3 +1,5 @@ +This repository is no longer used. Please use https://gitlab.inria.fr/mpc/mpc. + Copyright (C) INRIA 2003, 2005, 2007, 2008, 2009, 2010, 2011, 2012, 2014, 2015, 2018, 2020 Copying and distribution of this file, with or without modification, -- cgit v1.2.1