gitignore

This commit is contained in:
Simon Cruanes 2023-07-31 23:54:40 -04:00
parent f414acbfb4
commit 59b89338bd
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

1
.gitignore vendored
View file

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