git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1231 from melted/patch-1
f67031eDavid Christiansen
idris.cabal+2
compare with master
unifiedsplit
@@ -66,6 +66,8 @@ Extra-source-files:
66
66
67 rts/*.c
67 rts/*.c
68 rts/*.h
68 rts/*.h
69+ rts/windows/*.c
70+ rts/windows/*.h
69 rts/Makefile
71 rts/Makefile
70
72
71 libs/Makefile
73 libs/Makefile