gitignore

This commit is contained in:
Simon Cruanes 2023-07-31 23:54:40 -04:00
parent ac57085d33
commit 1be267d626

1
.gitignore vendored
View file

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