From 55fa43c03dcc5165678014fe676645fd0fa08758 Mon Sep 17 00:00:00 2001
From: Tom Hubrecht <tom@hubrecht.ovh>
Date: Mon, 11 Dec 2023 18:51:41 +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 2529e09..319509b 100644
--- a/npins/sources.json
+++ b/npins/sources.json
@@ -139,9 +139,9 @@
         "url": "https://git.dgnum.eu/DGNum/www.eleves.ens.fr.git"
       },
       "branch": "main",
-      "revision": "8b3e9e99dbd4b1c6e6cad0dc42b103b5e6f78ef0",
+      "revision": "065d40b69bc3c502ad4befa9e4a371624e444e0a",
       "url": null,
-      "hash": "0avlgj967wn1w06lqc29cdg9p7msb4y01nbx38kflxgw0f0kysw2"
+      "hash": "1m8f6xv0413dhlw5s4v1dp2sclagr0frrlg9kp2k2ldf03vfar7y"
     }
   },
   "version": 3