forked from DGNum/infrastructure
chore(metis): Update
This commit is contained in:
parent
a6aac2b0b4
commit
d2f039755b
1 changed files with 2 additions and 2 deletions
|
@ -178,9 +178,9 @@
|
||||||
"url": "https://git.dgnum.eu/DGNum/metis"
|
"url": "https://git.dgnum.eu/DGNum/metis"
|
||||||
},
|
},
|
||||||
"branch": "master",
|
"branch": "master",
|
||||||
"revision": "f631751da44a330c41398356ce2295e17ed45b7b",
|
"revision": "5c5e0c356bc60c15699a0830ef675af821afbb5b",
|
||||||
"url": null,
|
"url": null,
|
||||||
"hash": "1laclhq6jz9mni4vxsxk3c143c2x478z1lqj115mqyj0d62rz8mg"
|
"hash": "0lijsmgcqqqrdi2qdycwsaczcjja5blvx4kx1ssclvsm8aipbbs0"
|
||||||
},
|
},
|
||||||
"microvm.nix": {
|
"microvm.nix": {
|
||||||
"type": "Git",
|
"type": "Git",
|
||||||
|
|
Loading…
Reference in a new issue