ocaml/ocaml — pull request #8 by chaudhuri (2014-02-04 17:28:27+00:00)
Title: Adds a .gitignore to ignore all generated files during `make world.opt'

Since we are trialing patch reviews on Github, maybe this will make `git status` a bit less useless...