gitignore

This commit is contained in:
Simon Cruanes 2026-01-02 16:40:41 -05:00
parent 189a95a514
commit 83da658c5e
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

1
.gitignore vendored
View file

@ -1,3 +1,4 @@
_build
_opam
*.tmp
*.pdf