git.iko.soy/Idris-dev
on master help sign in
Remove the windows header files from cabal
34e492dNiklas Larsson
idris.cabal−1
compare with master
unifiedsplit
@@ -67,7 +67,6 @@ Extra-source-files:
67 rts/*.c
67 rts/*.c
68 rts/*.h
68 rts/*.h
69 rts/windows/*.c
69 rts/windows/*.c
70− rts/windows/*.h
71 rts/Makefile
70 rts/Makefile
72
71
73 libs/Makefile
72 libs/Makefile