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