DGNum/infrastructure
12
6
Fork 3
Code Issues 17 Pull requests 30 Projects 1 Releases Packages Wiki Activity Actions 2

chore(npins): Update cas-eleves #206

Open
dgnum-chores wants to merge 1 commit from npins-updates/cas-eleves into main
pull from: npins-updates/cas-eleves
merge into: DGNum:main
Conversation 0 Commits 1 Files changed 1 +2 -2
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

@ -34,9 +34,9 @@
"url": "https://git.dgnum.eu/DGNum/cas-eleves.git"
},
"branch": "main",
"revision": "acf98f1c6bfc97b7dae62e8cc723a1c16bf8d1a4",
"revision": "bdbb2a6c772144813bd75316080f5fecd2c5cc9e",
"url": null,
"hash": "1lhk46ickm2bv7rjzwb9ys7k7aj4kd75mbca27mkcddwpni5lm5l"
"hash": "0c0r889ph9ml4ghdqn6zaplkv9jkxlviyil51qmqpnbdgpgww04i"
},
"cgroup-exporter": {
"type": "Git",