Added a ".gitignore" file (to ease git status reading on untracked files).
[Faustine.git] / interpretor / types.ml
2013-07-26 Karim BarkatiInitial import.