chore(npins): Update liminix

2025-01-04 16:07:41 +00:00 · 2025-01-04 16:07:41 +00:00 · b239b3946b
commit b239b3946b
parent e574d2ab72
1 changed files with 2 additions and 2 deletions
--- a/npins/sources.json
+++ b/npins/sources.json
@ -143,9 +143,9 @@
        "url": "https://git.dgnum.eu/DGNum/liminix"
      },
      "branch": "main",
-      "revision": "473d6acc3de70bd6dbbb4a77af54f508f25c3c9c",
+      "revision": "1322de1ee0cdb19fead79e12ab279ee0b575019a",
      "url": null,
-      "hash": "00slsh0yqd8n8jcx3sbxgcmw1z28bnszy87pfs0ynfkl3bldzs3d"
+      "hash": "07nk6nik97k8a57cf17dcj3gn2lbhw1myymrxpqc2aqa3haj754k"
    },
    "linkal": {
      "type": "Git",