This commit is contained in:
2025-08-30 17:14:49 +02:00
parent 63aada8b50
commit 0a342f4164
3 changed files with 113 additions and 30 deletions

7
.gitignore vendored Normal file
View File

@@ -0,0 +1,7 @@
core
*.cmx
*.cml
*.cmi
*.cmo
*.o
a.out