Weijia Wang 2b2921adff Merge pull request #234238 from ratsclub/ionide ... vscode-extensions.ionide.ionide-fsharp: 7.5.2 -> 7.5.4		2023-05-26 21:11:57 +03:00
..
extensions	Merge pull request #234238 from ratsclub/ionide	2023-05-26 21:11:57 +03:00
generic.nix	Merge pull request #233369 from K900/cursed-vscode-encryption	2023-05-26 13:10:00 +03:00
update-shell.nix
update-vscode.sh
update-vscodium.sh
vscode.nix	vscode, vscodium: use Nixpkgs ripgrep by default	2023-05-22 00:29:22 +02:00
vscodium.nix	vscode, vscodium: use Nixpkgs ripgrep by default	2023-05-22 00:29:22 +02:00
with-extensions.nix