Edmund Wu 285800d537 vscode-extensions.ms-python.python: 2018.7.0 -> 2018.8.0 (#47572)		2018-10-01 07:50:07 +02:00
..
default.nix	vscode-extensions.ms-python.python: 2018.7.0 -> 2018.8.0 (#47572)	2018-10-01 07:50:07 +02:00