Merge pull request #125024 from happysalada/vscode_extension_project_manager

vscode-extensions.alefragnani.project-manager: init 12.1.0
This commit is contained in:
Sandro 2021-05-31 09:13:23 +02:00 committed by GitHub
commit 5d15fc6091
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -36,6 +36,18 @@ let
};
};
alefragnani.project-manager = buildVscodeMarketplaceExtension {
mktplcRef = {
name = "project-manager";
publisher = "alefragnani";
version = "12.1.0";
sha256 = "sha256-fYBKmWn9pJh2V0fGdqVrXj9zIl8oTrZcBycDaMOXL/8=";
};
meta = {
license = lib.licenses.mit;
};
};
alexdima.copy-relative-path = buildVscodeMarketplaceExtension {
mktplcRef = {
name = "copy-relative-path";