Modified gitignore.

klinashka · klinashka · commit 4a0897770a00 · 2024-12-19T18:39:05.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -40,4 +40,5 @@ Makefile.conf
 *.blg
 *.vok
 *.vos
-_build/
+_build/
+agda

-Original file line number
+Diff line change
 *.blg
 *.vok
 *.vos
 -_build/
 +_build/
 +agda