Added .gitignore.

This commit is contained in:
Podkopaev Anton 2018-03-06 18:11:03 +03:00
parent 61a7b7b2ce
commit 0524d2b71a

4
.gitignore vendored Normal file
View file

@ -0,0 +1,4 @@
*~
*.cmi
*.cmx
*.o