gitignore

This commit is contained in:
Simon Cruanes 2025-12-03 13:28:12 -05:00
parent 841d58ab67
commit 77083e3e81
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

1
.gitignore vendored
View file

@ -6,3 +6,4 @@ _opam
.merlin
*.install
*.exe
*.tmp