[extension-control] update with state from 2024-08-29

open-vsx · Sep 19, 2024 · dfa20ca · dfa20ca
1 parent e45307d
commit dfa20ca
Showing 1 changed file with 14 additions and 0 deletions.
diff --git 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": {