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