git.iko.soy/Idris-dev
on master help sign in
travis-ci: lower case Haskell to see if that helps with build problems
commit5da2f7b22e296b2419a63896b8aa9309d90415ed authorJason Dagit <dagit@galois.com> dateMon 29 Oct 2012, 12:03 (14 years ago) parent592d6c0
1 file changed+1−1
compare with master
unifiedsplit
.travis.yml+1−1
.travis.yml+1−1
@@ -1 +1 @@
1−language: Haskell
1+language: haskell