diff --git a/extension-control/extensions.json b/extension-control/extensions.json index 05424ccd5..f90649686 100644 --- 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": {