Update control manifest

EclipseFdn · Jul 18, 2024 · a5dbdd1 · a5dbdd1
1 parent 6264ce5
commit a5dbdd1
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/extension-control/extensions.json b/extension-control/extensions.json
@@ -321,6 +321,13 @@
                 "id": "AdaCore.ada",
                 "displayName": "Ada & SPARK"
             }
+        },
+        "mgt19937.typst-preview": {
+            "disallowInstall": true,
+            "extension": {
+                "id": "myriad-dreamin.tinymist",
+                "displayName": "Tinymist Typst"
+            }
         }
     },
     "migrateToPreRelease": {