Dmitry Kalinkin 749c0a9c16 Merge pull request #57325 from eadwu/vscode-extensions.WakaTime.vscode-wakatime/1.2.12 ... vscode-extensions.WakaTime.vscode-wakatime: 1.2.7 -> 1.2.13		2019-03-25 18:55:06 -04:00
..
cpptools	treewide: use runtimeShell instead of stdenv.shell whenever possible	2019-02-26 14:10:49 +00:00
python	vscode-extensions.ms-python.python: 2018.11.0 -> 2018.12.1	2018-12-18 12:27:44 -05:00
wakatime	vscode-extensions.WakaTime.vscode-wakatime: 1.2.7 -> 1.2.13	2019-03-17 21:19:19 -04:00
default.nix	vscode-extensions.alanz.vscode-hie-server: init at 0.0.25	2019-03-17 21:01:26 +01:00
update_installed_exts.sh
vscode-utils.nix