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-extensions: script to generate Nix for "latest" version of all installed vscode extensions	2018-08-07 10:14:57 +10:00
vscode-utils.nix	vscode-extensions.WakaTime.vscode-wakatime: init at 1.2.3	2018-11-20 17:35:23 -05:00