aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorClombrong <clombrong@egregore.fun>2025-05-30 14:23:59 +0200
committerClombrong <cromblong@egregore.fun>2025-05-30 14:23:59 +0200
commitbef93807616077801b10d4bb35106e2e1368a4e1 (patch)
tree1d192e3bca051cf1b97e3670769c3be1a2f2ab12
parent06797340cde99cd0a322578df1db153db025069a (diff)
chore(git): make gitignore compatible with a bunch of stupid toolsv0.0.1
-rw-r--r--.gitignore4
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore
index bec3e93..1d82412 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,7 +10,7 @@
*.cmxa
# ocamlbuild working directory
-_build/
+_build
# ocamlbuild targets
*.byte
@@ -27,4 +27,4 @@ setup.log
*.install
# Local OPAM switch
-_opam/ \ No newline at end of file
+_opam \ No newline at end of file