R. Ryantm ee33796d9a vscodium: 1.72.2.22289 -> 1.73.0.22306		2022-11-05 16:12:18 +08:00
..
extensions	Merge pull request #198293 from Zimmi48/add-vscoq-vscode-extension	2022-11-04 17:06:07 +01:00
generic.nix	vscode: don't fixup on darwin	2022-10-22 22:13:28 -04:00
update-shell.nix
update-vscode.sh
update-vscodium.sh
vscode.nix	vscode: 1.72.2 -> 1.73.0	2022-11-03 00:29:20 +00:00
vscodium.nix	vscodium: 1.72.2.22289 -> 1.73.0.22306	2022-11-05 16:12:18 +08:00
with-extensions.nix