diff --git a/extensions.json b/extensions.json index f4136b657..c389df6ef 100644 --- a/extensions.json +++ b/extensions.json @@ -658,6 +658,12 @@ "checkout": "v0.21.2", "prepublish": "npm install spago purescript" }, + { + "id": "ocamllabs.ocaml-platform", + "repository": "https://github.com/ocamllabs/vscode-ocaml-platform.git", + "version": "0.9.0", + "checkout": "v0.9.0" + }, { "id": "octref.vetur", "repository": "https://github.com/vuejs/vetur", @@ -737,6 +743,12 @@ "version": "0.7.8", "checkout": "v0.7.8" }, + { + "id": "ryanolsonx.zenburn", + "repository": "https://github.com/ryanolsonx/vscode-zenburn-theme.git", + "version": "1.0.1", + "checkout": "8d0ea180bd58cdf2a1b88250b44ee71fb80326b6" + }, { "id": "samuelcolvin.jinjahtml", "repository": "https://github.com/samuelcolvin/jinjahtml-vscode"