diff --git a/npins/sources.json b/npins/sources.json index a0258ec..c29f659 100644 --- a/npins/sources.json +++ b/npins/sources.json @@ -45,9 +45,9 @@ "url": "https://git.dgnum.eu/DGNum/dgsi.git" }, "branch": "main", - "revision": "f6fcd90622151e116adedb41f53da0445f1ee387", + "revision": "304fe1f24968263872a8d73dc5fc7c4d7e4a7db1", "url": null, - "hash": "1rrm4j142h2dkphya34hg341xhklrdvqim35jy6g0152a7y1nkk4" + "hash": "0q2fgy6vf4g0a89wb0k7mcivz0396q7vshixsjvs27adrd179g42" }, "disko": { "type": "GitRelease",