Merge pull request #171646 from turion/dev_vscode_bookmarks

vscode-extensions: Init alefragnani.bookmarks at 13.0.1
This commit is contained in:
Manuel Bärenz 2022-05-06 11:23:39 +02:00 committed by GitHub
commit 437ebbdb34
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -79,6 +79,18 @@ let
};
};
alefragnani.bookmarks = buildVscodeMarketplaceExtension {
mktplcRef = {
name = "bookmarks";
publisher = "alefragnani";
version = "13.0.1";
sha256 = "sha256-4IZCPNk7uBqPw/FKT5ypU2QxadQzYfwbGxxT/bUnKdE=";
};
meta = {
license = lib.licenses.gpl3;
};
};
alefragnani.project-manager = buildVscodeMarketplaceExtension {
mktplcRef = {
name = "project-manager";