From 4617bf03ba4ad5e9a8dbf6afcddfd792eb5d789f Mon Sep 17 00:00:00 2001
From: Tom Hubrecht <tom@hubrecht.ovh>
Date: Tue, 19 Dec 2023 16:35:55 +0100
Subject: [PATCH] chore(www-eleves): Update

---
 npins/sources.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/npins/sources.json b/npins/sources.json
index e627462..5bf85e7 100644
--- a/npins/sources.json
+++ b/npins/sources.json
@@ -132,9 +132,9 @@
         "url": "https://git.dgnum.eu/DGNum/www.eleves.ens.fr.git"
       },
       "branch": "main",
-      "revision": "75aab3de8cf3bdbcbf9354c5ba48a4584d4e7e4d",
+      "revision": "eeb923b0a3d1b95cf0d8d62f831ac1920e17220a",
       "url": null,
-      "hash": "07l7imbbbqah1mfvii2cn5cdjzvh0diybyla05ff119g2414gmb6"
+      "hash": "0lffxhka8yrix5b0c2sil05zmzhlb606zf3ayxsmhvsazczm4yjb"
     }
   },
   "version": 3