From dfa20ca6716282d799c58d10751f94cbc3471775 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Filip=20Tron=C3=AD=C4=8Dek?= <filip@gitpod.io>
Date: Thu, 19 Sep 2024 18:05:50 +0200
Subject: [PATCH] [extension-control] update with state from 2024-08-29

---
 extension-control/extensions.json | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/extension-control/extensions.json b/extension-control/extensions.json
index c04ac6191..27f9fa24e 100644
--- a/extension-control/extensions.json
+++ b/extension-control/extensions.json
@@ -335,6 +335,20 @@
                 "id": "fill-labs.dependi",
                 "displayName": "Dependi"
             }
+        },
+        "alygin.vscode-tlaplus": {
+            "disallowInstall": true,
+            "extension": {
+                "id": "tlaplus.vscode-ide",
+                "displayName": "TLA+ (Temporal Logic of Actions)"
+            }
+        },
+        "alygin.vscode-tlaplus-nightly": {
+            "disallowInstall": true,
+            "extension": {
+                "id": "tlaplus.vscode-ide",
+                "displayName": "TLA+ (Temporal Logic of Actions)"
+            }
         }
     },
     "migrateToPreRelease": {