diff --git a/machines/web01/static/npins/sources.json b/machines/web01/static/npins/sources.json index 0db698c..bd9a6bb 100644 --- a/machines/web01/static/npins/sources.json +++ b/machines/web01/static/npins/sources.json @@ -76,6 +76,17 @@ "revision": "735e56edee3b8a74c6d77463b6535308ac85c7b1", "url": null, "hash": "0mbk3r2r4r4z1vzddizbf59mm5r2f0ikis0scyfc6qpb4lr78msy" + }, + "tuteurs.ens.fr": { + "type": "Git", + "repository": { + "type": "Git", + "url": "https://git.dgnum.eu/DGNum/tuteurs.ens.fr.git" + }, + "branch": "main", + "revision": "e0dd20c1bbb3413af4728171c96d27e7ccf155f1", + "url": null, + "hash": "0ms24wv017b44w900zdbnqlx6ndigrn952hjkxxf61xspsjxpglx" } }, "version": 3