From 8e901ab790bf0fd71f0af33a01ab75a816fdb4a2 Mon Sep 17 00:00:00 2001 From: Tom Hubrecht Date: Fri, 12 Jul 2024 11:02:15 +0200 Subject: [PATCH] feat(kadenios): Update --- npins/sources.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/npins/sources.json b/npins/sources.json index fcacfe2..66a9c25 100644 --- a/npins/sources.json +++ b/npins/sources.json @@ -86,9 +86,9 @@ "url": "https://git.dgnum.eu/DGNum/kadenios.git" }, "branch": "main", - "revision": "c6aa72e843607621da88da9526bd457d9b097a56", + "revision": "4fd9e3a2117f54c4184b02fd3aef31626fcad149", "url": null, - "hash": "1hvzdqriml7926dc1k8c8p54hskzsmq84f2i139943gwip5xqqxd" + "hash": "1p093q9paa4zi37gsq063vd9ypq7421rmcrlzfd5dyaczwksarnz" }, "liminix": { "type": "Git",