diff options
author | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-10-01 11:17:29 +0200 |
---|---|---|
committer | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-10-01 11:17:29 +0200 |
commit | b1b23b1626abcb836bb8ec350f423110ad76eff2 (patch) | |
tree | 38e4070cd591f6219657f9f7859b5ebb02c91820 | |
parent | d3ae65223b762fd790161bcf9dcadcaf7d4fcf2f (diff) | |
download | mpc-git-b1b23b1626abcb836bb8ec350f423110ad76eff2.tar.gz |
-rw-r--r-- | README | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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, |