From 323caed4ed08e2bd922804ccbe7471aeceb5342b Mon Sep 17 00:00:00 2001 From: Tom Hubrecht Date: Fri, 19 Apr 2024 15:36:30 +0200 Subject: [PATCH] feat(static): Update eleves.dgnum.eu --- machines/web01/static/npins/sources.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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",