Edmund Wu 4ea0930f71 vscode-extensions.ms-python.python: 0.8.0 -> 2018.6.0		2018-07-07 21:53:11 -04:00
..
cpptools	vscode-extension-ms-vscode-cpptools: 0.12.3 -> 0.16.1	2018-05-05 00:58:54 -04:00
python	vscode-extensions.ms-python.python: 0.8.0 -> 2018.6.0	2018-07-07 21:53:11 -04:00
default.nix	vscode-extension-ms-python-python: Init at 0.8.0	2017-11-26 22:09:16 -05:00
vscode-utils.nix	vscode: fix files with space(s) #39112	2018-04-18 19:07:05 +02:00