chore(dgsi): Update

This commit is contained in:
Tom Hubrecht 2024-10-12 22:06:26 +02:00
parent 2f06f22ac7
commit 9ea51137fc
Signed by: thubrecht
SSH key fingerprint: SHA256:r+nK/SIcWlJ0zFZJGHtlAoRwq1Rm+WcKAm5ADYMoQPc

View file

@ -45,9 +45,9 @@
"url": "https://git.dgnum.eu/DGNum/dgsi.git" "url": "https://git.dgnum.eu/DGNum/dgsi.git"
}, },
"branch": "main", "branch": "main",
"revision": "f6fcd90622151e116adedb41f53da0445f1ee387", "revision": "304fe1f24968263872a8d73dc5fc7c4d7e4a7db1",
"url": null, "url": null,
"hash": "1rrm4j142h2dkphya34hg341xhklrdvqim35jy6g0152a7y1nkk4" "hash": "0q2fgy6vf4g0a89wb0k7mcivz0396q7vshixsjvs27adrd179g42"
}, },
"disko": { "disko": {
"type": "GitRelease", "type": "GitRelease",