Merge pull request #51419 from eadwu/vscode-extensions.ms-python.python/2018.11.0

vscode-extensions.ms-python.python: 2018.10.1 -> 2018.11.0
This commit is contained in:
Dmitry Kalinkin 2018-12-04 15:23:01 -05:00 committed by GitHub
commit c64e5ccc2f
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.10.1";
sha256 = "1j9nf09v31lmrjkxf7p1d78d064x6afzh0dvssmk3sjm2c5r432k";
version = "2018.11.0";
sha256 = "0z9ca14qzy6zw0cfir7hdnhin01c1wsr6lbb2xp6rpq06vh7nivl";
};
postPatch = ''