diff --git a/machines/web01/static/npins/sources.json b/machines/web01/static/npins/sources.json index d0b4a9d..e4a3d55 100644 --- a/machines/web01/static/npins/sources.json +++ b/machines/web01/static/npins/sources.json @@ -18,9 +18,9 @@ "url": "https://git.dgnum.eu/DGNum/eleves.dgnum.eu.git" }, "branch": "main", - "revision": "d28526a8cdbd1cce13071b50064fd8d4deadb1f5", + "revision": "8884daadedd8b83482db650f0561377aefdc2078", "url": null, - "hash": "0cdrywjwvh6sg8rlsm3ap2prksbizvdjbsmqdpdmnjs06ccxnl8c" + "hash": "1nznw67ybqnh80j2imiximmzx40b6zlgbss5jz2vgf8v3sksdcwy" }, "interq.ens.fr": { "type": "Git",