Ignore _build correctly (#2010)

agda · Jun 30, 2023 · da738b5 · da738b5
1 parent 078d57f
commit da738b5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -13,7 +13,7 @@
 .*.swp
 .#*
 \#*
-./_build/*
+_build
 .DS_Store
 .vscode/*
 dist