chore(npins): Update dgsi

This commit is contained in:
Tom Hubrecht 2025-02-06 11:24:34 +01:00
parent b5fe7bd71f
commit f55107301a
Signed by: thubrecht
SSH key fingerprint: SHA256:r+nK/SIcWlJ0zFZJGHtlAoRwq1Rm+WcKAm5ADYMoQPc

View file

@ -68,9 +68,9 @@
"url": "https://git.dgnum.eu/DGNum/dgsi.git" "url": "https://git.dgnum.eu/DGNum/dgsi.git"
}, },
"branch": "main", "branch": "main",
"revision": "b810fa8a674538d48a5f7d223040c4ca97628b9e", "revision": "dd3e62e30a60d5d1a74680325ae428b6d0414fc5",
"url": null, "url": null,
"hash": "15hfli8x0spc0f7n0v2llczvjr6ghcc8i9sxgryi86aq7lqy2y2i" "hash": "08ggml7hd745p5xrxxsngj3z6c5ajdz4m7maj90qhcn8dajr63br"
}, },
"disko": { "disko": {
"type": "GitRelease", "type": "GitRelease",