This commit is contained in:
Dmitry Boulytchev 2020-02-16 01:21:27 +03:00
parent 61296c51e7
commit 3b9fac8e9a
3 changed files with 43 additions and 15 deletions

2
.gitignore vendored
View file

@ -2,3 +2,5 @@
*.cmi
*.cmx
*.o
version.ml