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