gitignore

This commit is contained in:
Simon Cruanes 2024-08-28 12:39:07 -04:00
parent 2780b156eb
commit c73395635b
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

1
.gitignore vendored
View file

@ -1,2 +1,3 @@
_build
_opam
*.tmp