chore(dgsi): Update?

This commit is contained in:
Tom Hubrecht 2024-10-08 14:13:00 +02:00
parent 39f5cad75d
commit 37d0ca9489
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": "9c4413faa1610167d65b5c6110cdbc714eb14887", "revision": "129641cc1fdd657c070c54f3b93aa0cd7c5a5b1d",
"url": null, "url": null,
"hash": "0pn684dc1s5v3nqiy6jpxpr26mv5z6pq1i5cvza9d2hi7lddp3wb" "hash": "0s4bkj7y6iqch8xislxyx7w5rn0xz95rvj9gfwcvm3p7sqj92ldj"
}, },
"disko": { "disko": {
"type": "GitRelease", "type": "GitRelease",