Merge pull request #43829 from eadwu/vscode-extensions.ms-python.python/2018.7.0

vscode-extensions.ms-python.python: 2018.6.0 -> 2018.7.0
This commit is contained in:
Silvan Mosberger 2018-07-24 23:37:42 +02:00 committed by GitHub
commit 56dd84bef7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -20,8 +20,8 @@ vscode-utils.buildVscodeMarketplaceExtension {
mktplcRef = {
name = "python";
publisher = "ms-python";
version = "2018.6.0";
sha256 = "a157399b45b40caa9e0b3432eaf3e7444ee4cb91497c139bcb740d42d61f9ae8";
version = "2018.7.0";
sha256 = "0ab6ce722b23274a8f70d156f55d02123dd3b686397b11d4eec0831ec69dbec5";
};
postPatch = ''