DGNum/infrastructure
13
6
Fork 3
Code Issues 20 Pull requests 7 Projects 1 Releases Packages Wiki Activity Actions

chore(npins): Update www-eleves

Browse source
This commit is contained in:
Tom Hubrecht 2023-12-22 06:56:10 +01:00
parent ff0c143c3f
commit 94ca76f2f0
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
npins/sources.json
View file

@ -132,9 +132,9 @@
"url": "https://git.dgnum.eu/DGNum/www.eleves.ens.fr.git" "url": "https://git.dgnum.eu/DGNum/www.eleves.ens.fr.git"
}, },
"branch": "main", "branch": "main",
"revision": "eeb923b0a3d1b95cf0d8d62f831ac1920e17220a", "revision": "6ad35ba1eab716d916328e7a989fa58f302a0c2d",
"url": null, "url": null,
"hash": "0lffxhka8yrix5b0c2sil05zmzhlb606zf3ayxsmhvsazczm4yjb" "hash": "09piwdqqs6ks8lhw5xccaxmi58briacw5rilrvyaiaqga9y82pc9"
} }
}, },
"version": 3 "version": 3