Bobby Rong 0fa0e246c3 Merge pull request #230818 from datafoo/vscode-extensions.davidanson.vscode-markdownlint ... vscode-extensions.davidanson.vscode-markdownlint: 0.49.0 -> 0.50.0		2023-05-26 16:35:59 +08:00
..
extensions	Merge pull request #230818 from datafoo/vscode-extensions.davidanson.vscode-markdownlint	2023-05-26 16:35:59 +08:00
generic.nix	vscode, vscodium: use Nixpkgs ripgrep by default	2023-05-22 00:29:22 +02:00
update-shell.nix
update-vscode.sh
update-vscodium.sh	vscodium: 1.77.3.23102 -> 1.78.2.23132, drop armhf	2023-05-16 21:33:30 +03:00
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	vscode-utils: expose toExtensionJson	2023-01-17 11:05:07 +01:00