superherointj 77cf670e7c Merge pull request #320859 from Anillc/agda-mode ... vscode-extensions.banacorn.agda-mode: init at 0.4.7		2024-06-18 19:20:55 -03:00
..
extensions	Merge pull request #320859 from Anillc/agda-mode	2024-06-18 19:20:55 -03:00
generic.nix	treewide: wrapGAppsHook → wrapGAppsHook3	2024-04-27 02:23:22 +02:00
update-shell.nix
update-vscode.sh	vscode: move rev and vscodeServer to derivation	2023-06-09 18:52:10 +10:00
update-vscodium.sh	vscodium: 1.78.2.23132 -> 1.79.2.23166, readd armhf	2023-06-16 23:09:01 +08:00
vscode.nix	vscode: 1.90.0 -> 1.90.1	2024-06-14 21:34:10 +08:00
vscodium.nix	vscodium: 1.90.0.24158 -> 1.90.1.24165	2024-06-18 03:06:28 +00:00
with-extensions.nix	vscode: Fix icon name	2023-07-31 12:23:55 +08:00