vscode-extensions.ms-toolsai.jupyter: init at 2021.5.745244803

This is a necessary dependency of the new Python extension for
VSCode.

Signed-off-by: Daniel Silverstone <dsilvers@digital-scurf.org>
This commit is contained in:
Daniel Silverstone 2021-04-28 20:42:44 +01:00
parent a599c19761
commit 5903b963f4
No known key found for this signature in database
GPG Key ID: C30DF439F2987D74

@ -718,6 +718,18 @@ let
};
};
ms-toolsai.jupyter = buildVscodeMarketplaceExtension {
mktplcRef = {
name = "jupyter";
publisher = "ms-toolsai";
version = "2021.5.745244803";
sha256 = "0gjpsp61l8daqa87mpmxcrvsvb0pc2vwg7xbkvwn0f13c1739w9p";
};
meta = {
license = lib.licenses.unfree;
};
};
naumovs.color-highlight = buildVscodeMarketplaceExtension {
mktplcRef = {
name = "color-highlight";