Added missing files

This commit is contained in:
Dmitry Boulytchev 2020-02-19 17:43:44 +03:00
parent 8521ff30fa
commit 372b66aee8
4 changed files with 4 additions and 5 deletions

2
.gitignore vendored
View file

@ -2,6 +2,4 @@
*.cmi
*.cmx
*.o
version.ml
stdpath.ml