Compare commits

..

No commits in common. "317cdf4abdbd246b7673a3d477301eea42871435" and "14bb3aed8a950417bce08969db8991b377d4a95b" have entirely different histories.

2 changed files with 2 additions and 5 deletions

View file

@ -37,9 +37,6 @@ let
"rdv.dgnum.eu".to = "meet.dgnum.eu";
"www.bda.ens.fr".to = "bda.ens.fr";
"bda.wp.dgnum.eu".to = "bda.ens.fr";
"www.tuteurs.ens.fr".to = "tuteurs.ens.fr";
"www.interq.ens.fr".to = "interq.ens.fr";
"www.lanuit.ens.fr".to = "lanuit.ens.fr";
};
retired = mkSubs {

View file

@ -84,9 +84,9 @@
"url": "https://git.dgnum.eu/DGNum/tuteurs.ens.fr.git"
},
"branch": "main",
"revision": "5d6dff073d0ee1b22f993e049bd0af914c523d96",
"revision": "e0dd20c1bbb3413af4728171c96d27e7ccf155f1",
"url": null,
"hash": "1hkpfpx3073738b3jd4fffgxmy6l0pkk4as8hyp748nbq1j62vi6"
"hash": "0ms24wv017b44w900zdbnqlx6ndigrn952hjkxxf61xspsjxpglx"
}
},
"version": 3