feat(web01/metis): Update metis

2025-01-24 16:42:12 +01:00 · 2025-01-24 16:42:12 +01:00 · ccce19ef3b
commit ccce19ef3b
parent d5b452caf5
1 changed files with 2 additions and 2 deletions
--- a/npins/sources.json
+++ b/npins/sources.json
@ -211,9 +211,9 @@
        "url": "https://git.dgnum.eu/DGNum/metis"
      },
      "branch": "master",
-      "revision": "ed6fafda45d638b1bafd5deaee098b80156b41e8",
+      "revision": "5168aea5b22c1914a10d7d2918ab7df84c0668d7",
      "url": null,
-      "hash": "086spyhn2x1x2h31b0y4an501fdhph1nk64riybqnh6mqjkzlq4m"
+      "hash": "1iwsdwp2n89b3fdm860q1p8f90vcral26xfwps3hlyrvvpbwkzw9"
    },
    "microvm.nix": {
      "type": "Git",