Théo Zimmermann 1d44854eb5 Merge pull request #198293 from Zimmi48/add-vscoq-vscode-extension ... vscode-extensions.maximedenes.vscoq: init at 0.3.6		2022-11-04 17:06:07 +01: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	vscodium: Add support for aarch64-darwin (M1)	2022-04-27 22:06:01 -04:00
vscode.nix	vscode: 1.72.2 -> 1.73.0	2022-11-03 00:29:20 +00:00
vscodium.nix	vscodium: 1.72.2.22286 -> 1.72.2.22289	2022-10-29 20:15:09 +08:00
with-extensions.nix