Update udl-list.json

notepad-plus-plus · Oct 4, 2024 · c1624fa · c1624fa
1 parent b6e4ae5
commit c1624fa
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/udl-list.json b/udl-list.json
@@ -1332,6 +1332,15 @@
             "description": "LDIF",
             "author": "gambazinho <mailto:[email protected]>"
         },
+        {
+            "id-name": "Lean_byJzPan",
+            "display-name": "Lean",
+            "version": "04 Oct 2024",
+            "repository": "",
+            "description": "Lean",
+            "author": "Jz Pan <https://github.com/acmepjz>",
+            "sample": "Lean_byJzPan.lean"
+        },
         {
             "id-name": "less-js_byAsiaSun",
             "display-name": "LESS.js",