home/vscode: add vscoq extension

2025-02-24 10:45:47 +01:00
parent 2ab3e40dbd
commit 350654cd03
1 changed files with 1 additions and 0 deletions
--- a/home/programs/vscode/default.nix
+++ b/home/programs/vscode/default.nix
@@ -337,6 +337,7 @@ in
      ms-vscode.test-adapter-converter
      visualstudioexptteam.vscodeintellicode
      tamasfe.even-better-toml
+      maximedenes.vscoq
    ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
      {
        name = "monokai-st3";