Add idris_net to data files
commitdc72d9eac6a19e89f7940cebed5d63cafd0ce6ec
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 6 Feb 2014, 15:08 (13 years ago)
parent5a1d646
idris.cabal+1
@@ -55,6 +55,7 @@ Data-files: jsrts/Runtime-browser.js
5555 rts/idris_gmp.h
5656 rts/idris_main.c
5757 rts/idris_rts.h
58+ rts/idris_net.h
5859 rts/idris_stdfgn.h
5960 rts/libtest.c
6061