Joscha 573a47691e vscode-extensions: link to proper name instead of throwing		2023-04-04 23:59:16 +02:00
..
extensions	vscode-extensions: link to proper name instead of throwing	2023-04-04 23:59:16 +02:00
generic.nix	vscode: Fix missing executable permissions	2023-02-05 11:29:28 +08:00
update-shell.nix
update-vscode.sh
update-vscodium.sh
vscode.nix	vscode: 1.76.2 -> 1.77	2023-03-30 22:32:33 +03:00
vscodium.nix	vscodium: 1.76.1.23069 -> 1.76.2.23074	2023-03-16 00:26:18 +00:00
with-extensions.nix	vscode-utils: expose toExtensionJson	2023-01-17 11:05:07 +01:00