Merge pull request #1248 from melted/patch-2
Remove the windows header files from cabal
commitbd566f831b0ab36b388eaf625da7fe47615a8450
authorEdwin Brady <edwin.brady@gmail.com>
dateWed 21 May 2014, 00:26 (12 years ago)
parenta4f155634e492d
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