From 99e5df522de6bbfc5b55e24430b55d3e540df657 Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Tue, 12 Nov 2024 01:48:57 -0600
Subject: [PATCH] vendored

---
 .gitattributes | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitattributes b/.gitattributes
index d8daff6..22afe44 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -1 +1 @@
-nix/nvim-agda linguist-vendored
+nix/nvim-agda/**/* linguist-vendored