Merge pull request #366 from LeifW/fix_missing_pom.xml
Add missing pom.xml files to extra-source-files to fix cabal sdist.
commit8981c61c1f4a0abb142d4fed250cca09153b3ca1
authorEdwin Brady <edwin.brady@gmail.com>
dateMon 1 Jul 2013, 09:56 (13 years ago)
parent336760d8bb6d3a
idris.cabal+1
@@ -72,6 +72,7 @@ Extra-source-files: lib/Makefile lib/*.idr lib/Prelude/*.idr
7272 rts/*.c rts/*.h rts/Makefile
7373 js/*.js
7474 java/src/main/java/org/idris/rts/*.java
75+ java/*.xml
7576
7677source-repository head
7778 type: git