idris-lang/Idris-dev — pull request #735 by david-christiansen (2013-12-17 19:12:48+00:00)
Title: Add HPC files to .gitignore

HPC is used for coverage checking Haskell code