From e4a1744fa969c0d75567aa9e1541bc8604db5201 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Tue, 20 Jan 2026 18:15:51 +0100
Subject: isabelle2unicode: update, simplify git setup

---
 npins/sources.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'npins/sources.json')

diff --git a/npins/sources.json b/npins/sources.json
index dc1a351..9d73330 100644
--- a/npins/sources.json
+++ b/npins/sources.json
@@ -126,9 +126,9 @@
       },
       "branch": "master",
       "submodules": false,
-      "revision": "e7427d5c67c0a90c369adecb4b0c65c043cb2e34",
+      "revision": "a44e60333135d9c10b1a0579693ea4c7a655fb05",
       "url": null,
-      "hash": "129pizyyvxg7lzgk9pqn48a7brhyh5fv7vwzrs7wnhkp30hrpjq2"
+      "hash": "1rksv96izbzcpg74lbix9lw3rxjcy1hs1f4kd8xf4nzclq439931"
     },
     "lix": {
       "type": "Git",
-- 
cgit v1.2.3