diff --git a/npins/sources.json b/npins/sources.json index 1cf5d43..cdcec3d 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": "eeb923b0a3d1b95cf0d8d62f831ac1920e17220a", + "revision": "6ad35ba1eab716d916328e7a989fa58f302a0c2d", "url": null, - "hash": "0lffxhka8yrix5b0c2sil05zmzhlb606zf3ayxsmhvsazczm4yjb" + "hash": "09piwdqqs6ks8lhw5xccaxmi58briacw5rilrvyaiaqga9y82pc9" } }, "version": 3