This commit is contained in:
2025-09-19 19:54:59 +01:00
commit bc6aee7bb7
5 changed files with 142 additions and 0 deletions

6
.gitignore vendored Normal file
View File

@@ -0,0 +1,6 @@
*.cmo
*.cmi
*.cmx
*.o
*.out
*.cma