From 3ca9ff4a008c2f6a6ed7b39b483e7eb58f23efcf Mon Sep 17 00:00:00 2001
From: Abdelghani Alidra <alidrandco@yahoo.fr>
Date: Tue, 10 Dec 2024 15:40:19 +0100
Subject: [PATCH] added Lambdapi entension

---
 extensions.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/extensions.json b/extensions.json
index 1b0ef70cc..abdd16342 100644
--- a/extensions.json
+++ b/extensions.json
@@ -224,6 +224,10 @@
   "dcasella.monokai-plusplus": {
     "repository": "https://github.com/dcasella/monokai-plusplus"
   },
+  "deducteam.lambdapi": {
+    "repository": "https://github.com/Deducteam/lambdapi",
+    "custom": ["make build-vscode-extension"]
+  },
   "deerawan.vscode-faker": {
     "repository": "https://github.com/deerawan/vscode-faker"
   },