From 1b7b1c3a4f5eb870aa14289a97f60e921bf0606e Mon Sep 17 00:00:00 2001 From: Tom Hubrecht Date: Mon, 16 Dec 2024 22:37:31 +0100 Subject: [PATCH] chore(npins): Update cas-eleves --- npins/sources.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/npins/sources.json b/npins/sources.json index 066d6f7..6cfaa43 100644 --- a/npins/sources.json +++ b/npins/sources.json @@ -34,9 +34,9 @@ "url": "https://git.dgnum.eu/DGNum/cas-eleves.git" }, "branch": "main", - "revision": "4590bba217cfb5bb2a04798a8344d5264715dc82", + "revision": "acf98f1c6bfc97b7dae62e8cc723a1c16bf8d1a4", "url": null, - "hash": "09z5l5yh4zm0mf9hb3xc18gjk2dgv3l1icywrsxax00y1i1zlvna" + "hash": "1lhk46ickm2bv7rjzwb9ys7k7aj4kd75mbca27mkcddwpni5lm5l" }, "cgroup-exporter": { "type": "Git",