MLton/mlton — pull request #22 by MatthewFluet (2013-06-13 17:42:49+00:00)
Title: Remove .gitignore files from build and install directories.

As of commit a3582bd6900cea0111e1468ceddc6754e7321a3f, .gitignore
files are not symlinks.