git.iko.soy/Idris-dev
on master help sign in
Add idris_net to data files
dc72d9eEdwin Brady
idris.cabal+1
compare with master
unifiedsplit
@@ -55,6 +55,7 @@ Data-files: jsrts/Runtime-browser.js
55 rts/idris_gmp.h
55 rts/idris_gmp.h
56 rts/idris_main.c
56 rts/idris_main.c
57 rts/idris_rts.h
57 rts/idris_rts.h
58+ rts/idris_net.h
58 rts/idris_stdfgn.h
59 rts/idris_stdfgn.h
59 rts/libtest.c
60 rts/libtest.c
60
61