Merge branch 'master' of github.com:edwinb/Idris-dev
commit43878f424eb03beee437bfd1dd92e4713cd79aa7
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 10 Sep 2013, 14:55 (13 years ago)
parentdf41e3d8372f21
.gitignore+1
@@ -8,6 +8,7 @@ cabal-dev/
88*.dylib
99*.swp
1010*~
11+.DS_Store
1112custom.mk
1213java/executable_pom.xml
1314test/output