From aa3fd966aea16e62728849c3acde51102e2f0572 Mon Sep 17 00:00:00 2001 From: Tom Hubrecht Date: Tue, 23 Jan 2024 01:13:50 +0100 Subject: [PATCH] chore(npins): Update www-eleves --- npins/sources.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/npins/sources.json b/npins/sources.json index 59adba6..04d0896 100644 --- a/npins/sources.json +++ b/npins/sources.json @@ -161,9 +161,9 @@ "url": "https://git.dgnum.eu/DGNum/www.eleves.ens.fr.git" }, "branch": "main", - "revision": "6ad35ba1eab716d916328e7a989fa58f302a0c2d", + "revision": "d28526a8cdbd1cce13071b50064fd8d4deadb1f5", "url": null, - "hash": "09piwdqqs6ks8lhw5xccaxmi58briacw5rilrvyaiaqga9y82pc9" + "hash": "0cdrywjwvh6sg8rlsm3ap2prksbizvdjbsmqdpdmnjs06ccxnl8c" } }, "version": 3