idris-lang/Idris-dev — pull request #1248 by melted (2014-05-20 22:43:39+00:00)
Title: Remove the windows header files from cabal

They were removed in #1237 and cabal balks if a glob isn't matched by any file.