github/gitignore — pull request #973 by CodeBlock (2014-02-28 01:29:21+00:00)
Title: Add an Idris gitignore

Based on the Haskell one, but adds `*.ibc` for Idris bytecode.