From c1624fabe493e04afd023e0c73920c694beb1a65 Mon Sep 17 00:00:00 2001
From: Jz Pan <acme_pjz@hotmail.com>
Date: Fri, 4 Oct 2024 16:24:39 +0800
Subject: [PATCH] Update udl-list.json

---
 udl-list.json | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/udl-list.json b/udl-list.json
index 16a7c7e..f80231c 100644
--- a/udl-list.json
+++ b/udl-list.json
@@ -1332,6 +1332,15 @@
             "description": "LDIF",
             "author": "gambazinho <mailto:crazy2010@yahoo.com>"
         },
+        {
+            "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",