Edmund Wu 4ea0930f71 vscode-extensions.ms-python.python: 0.8.0 -> 2018.6.0		2018-07-07 21:53:11 -04:00
..
default.nix	vscode-extensions.ms-python.python: 0.8.0 -> 2018.6.0	2018-07-07 21:53:11 -04:00