gitignore

This commit is contained in:
Simon Cruanes 2026-01-02 16:40:41 -05:00
parent 189a95a514
commit 9471ff2aff

1
.gitignore vendored
View file

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