.gitignore should now be working.
[Faustine.git] / interpretor / main.ml
2013-07-26 Karim BarkatiInitial import.