summaryrefslogtreecommitdiff
path: root/.travis-ci.sh
Commit message (Expand)AuthorAgeFilesLines
* better fix for the travis scriptJérémie Dimino2014-07-231-2/+1
* update the travis script for new opam releaseJérémie Dimino2014-07-231-1/+1
* install the dev version of utop in travisJérémie Dimino2014-05-141-0/+2
* fixes to Travis CI script from AnilMark Shinwell2014-05-081-5/+4
* add travis CI files (github.com/avsm/ocaml 22e0620)Mark Shinwell2014-05-011-0/+19