git.iko.soy/Idris-dev
on master help sign in
Add missing pom.xml files to extra-source-files to fix cabal sdist.
8bb6d3aLeif Warner
idris.cabal+1
compare with master
unifiedsplit
@@ -71,6 +71,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
71 rts/*.c rts/*.h rts/Makefile
71 rts/*.c rts/*.h rts/Makefile
72 js/*.js
72 js/*.js
73 java/src/main/java/org/idris/rts/*.java
73 java/src/main/java/org/idris/rts/*.java
74+ java/*.xml
74
75
75source-repository head
76source-repository head
76 type: git
77 type: git