forked from DGNum/infrastructure
chore(metis): update
This commit is contained in:
parent
15761db726
commit
388f104360
1 changed files with 2 additions and 2 deletions
|
@ -83,9 +83,9 @@
|
||||||
"url": "https://git.dgnum.eu/DGNum/metis"
|
"url": "https://git.dgnum.eu/DGNum/metis"
|
||||||
},
|
},
|
||||||
"branch": "master",
|
"branch": "master",
|
||||||
"revision": "dbfd1de2b9aca772a733c8242636d17cfa55d64c",
|
"revision": "f2bbd93c7517603ae2fef6bd6a87db8790327e43",
|
||||||
"url": null,
|
"url": null,
|
||||||
"hash": "0frjby6nf9bixfwlhds31rzr4lm1ncn615mij7d9z0vbjnl4kkng"
|
"hash": "0gmngpaz516l5wm1l8bw32sg7skww6dd7n0s786qxmmw0dnp8mw6"
|
||||||
},
|
},
|
||||||
"nix-lib": {
|
"nix-lib": {
|
||||||
"type": "GitRelease",
|
"type": "GitRelease",
|
||||||
|
|
Loading…
Reference in a new issue