From 1fec752560000e4feb657a71331295b222590c46 Mon Sep 17 00:00:00 2001
From: leonv <leonvatthauer@outlook.com>
Date: Wed, 20 Mar 2024 15:51:21 +0100
Subject: [PATCH] Update .gitattributes

---
 .gitattributes | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitattributes b/.gitattributes
index 6105c25..d68d799 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -1,4 +1,3 @@
 *.lagda.md linguist-language=Agda
 *.lagda.md linguist-detectable=true
-
 *.css linguist-detectable=false