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

chore(npins): Update www.eleves

Browse source
This commit is contained in:
Tom Hubrecht 2023-12-11 18:51:41 +01:00
parent 567694a1dc
commit 55fa43c03d
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

@ -139,9 +139,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": "8b3e9e99dbd4b1c6e6cad0dc42b103b5e6f78ef0", "revision": "065d40b69bc3c502ad4befa9e4a371624e444e0a",
"url": null, "url": null,
"hash": "0avlgj967wn1w06lqc29cdg9p7msb4y01nbx38kflxgw0f0kysw2" "hash": "1m8f6xv0413dhlw5s4v1dp2sclagr0frrlg9kp2k2ldf03vfar7y"
} }
}, },
"version": 3 "version": 3