From 350654cd0337d0bd47098d871c7a686609e4d187 Mon Sep 17 00:00:00 2001
From: h7x4 <h7x4@nani.wtf>
Date: Mon, 24 Feb 2025 10:45:47 +0100
Subject: [PATCH] home/vscode: add vscoq extension

---
 home/programs/vscode/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/home/programs/vscode/default.nix b/home/programs/vscode/default.nix
index 938e37b..49bd815 100644
--- 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";