| .. |
|
_maintainers
|
vscode-extensions: refac personal maintainer tools
|
2021-10-18 18:35:44 -04:00 |
|
cpptools
|
cpptools: remove outdated assert
|
2021-11-09 20:50:10 +01:00 |
|
ms-dotnettools-csharp
|
treewide: switch `builtins.fromJSON(builtins.readFile ./file.json)` to lib.importJSON ./file.json
|
2021-11-03 14:43:52 +01:00 |
|
ms-toolsai-jupyter
|
ms-toolsai.jupyter: 2021.5.745244803 -> 2021.9.1101343141 (#141772)
|
2021-10-19 10:04:15 +02:00 |
|
ms-vsliveshare-vsliveshare
|
vscx/ms-vsliveshare-vsliveshare: 1.0.4836 -> 1.0.5043
|
2021-10-26 15:32:00 +08:00 |
|
python
|
vscode-extensions.ms-python.python: 2021.10.1365161279 -> 2021.11.1422169775
|
2021-11-08 19:32:24 +09:00 |
|
remote-ssh
|
vscode-extensions.ms-vscode-remote.remote-ssh: 0.65.7 -> 0.66.1
|
2021-11-09 20:55:03 +01:00 |
|
rescript
|
vscode-extensions.chenglou92.rescript-vscode: init at 1.1.3
|
2021-10-22 08:28:21 +11:00 |
|
rust-analyzer
|
rust-analyzer: 2021-09-20 -> 2021-10-25
|
2021-11-01 21:12:22 +08:00 |
|
terraform
|
vscode-extensions.hashicorp.terraform: 2.15.0 -> 2.16.0
|
2021-10-14 23:17:25 +02:00 |
|
vscode-lldb
|
vscode-lldb: pin vsce version to fix build
|
2021-11-01 21:27:50 +08:00 |
|
wakatime
|
vscode-extensions.vscode-wakatime.WakaTime: 17.0.8 -> 17.1.0
|
2021-11-08 19:32:24 +09:00 |
|
default.nix
|
vscode-extensions.valentjn.vscode-ltex: init at 13.0.0 (#145001)
|
2021-11-10 10:10:47 +01:00 |
|
mktplcExtRefToFetchArgs.nix
|
|
|
|
update_installed_exts.sh
|
vscode-extensions: update script consider codium
|
2021-07-17 11:06:01 +09:00 |
|
updateSettings.nix
|
treewide: "does not exists" -> "does not exist"
|
2021-09-09 18:45:33 +00:00 |
|
updateSettingsTest.nix
|
|
|
|
vscode-utils.nix
|
vscode-utils: fix configure and build phase
|
2021-10-05 01:53:28 -04:00 |
|
vscodeEnv.nix
|
|
|
|
vscodeEnvTest.nix
|
|
|
|
vscodeExts2nix.nix
|
treewide: fix double quoted strings in meta.description
|
2021-01-24 19:56:59 +07:00 |
|
vscodeWithConfiguration.nix
|
treewide: fix double quoted strings in meta.description
|
2021-01-24 19:56:59 +07:00 |
