gitignore

This commit is contained in:
Simon Cruanes 2025-03-19 21:02:47 -04:00
parent 21de8b1f4b
commit d7ed71412b
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

1
.gitignore vendored
View file

@ -5,3 +5,4 @@ _opam
*.db *.db
.merlin .merlin
*.install *.install
*.exe