gitignore

This commit is contained in:
Simon Cruanes 2023-10-30 22:25:02 -04:00
parent e885bc8562
commit 09b4e4ae19
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

1
.gitignore vendored
View file

@ -1,3 +1,4 @@
_opam
_build
*.json
*.exe