Remove the windows header files from cabal
They were removed in #1237 and cabal balks if a glob isn't matched by any file.
commit34e492db1d3a2d892e0e17822c06d7191b7e1199
authorNiklas Larsson <metaniklas@gmail.com>
dateWed 21 May 2014, 00:43 (12 years ago)
parenta4f1556
idris.cabal−1
@@ -67,7 +67,6 @@ Extra-source-files:
6767 rts/*.c
6868 rts/*.h
6969 rts/windows/*.c
70− rts/windows/*.h
7170 rts/Makefile
7271
7372 libs/Makefile