From 2df0c0b08365e59858f0a37d08de0b40256333d1 Mon Sep 17 00:00:00 2001 From: Tom Hubrecht Date: Thu, 29 Feb 2024 20:07:00 +0100 Subject: [PATCH] chore(static): Update --- machines/web01/static/npins/sources.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/machines/web01/static/npins/sources.json b/machines/web01/static/npins/sources.json index 9447eeb..808b170 100644 --- a/machines/web01/static/npins/sources.json +++ b/machines/web01/static/npins/sources.json @@ -29,9 +29,9 @@ "url": "https://git.dgnum.eu/DGNum/interq.ens.fr.git" }, "branch": "main", - "revision": "d54ac09ba3369f3b83b0381e954c9dcabb5361a5", + "revision": "26b525677b5e553181f65024bd68322523a77ead", "url": null, - "hash": "1jj3nh6nz3xg0n72y55ad1fpw8nrl8kp4vlnmrhns56ylhi2q6dl" + "hash": "1s59c9ivr7475faaijhc3ayk9jc05ablxq7jkf7aal7difijjasb" }, "lanuit.ens.fr": { "type": "Git",