coq/coq — pull request #23 by JasonGross (2014-06-08 21:53:05+00:00)
Title: Add lia.cache to .gitignore

It is generated if we call `make test-suite` from top-level, I believe.