Skip to content

Improved the Travis configuration#82

Merged
ddeboer merged 1 commit intomasterfrom
travis_improvements
Jun 16, 2014
Merged

Improved the Travis configuration#82
ddeboer merged 1 commit intomasterfrom
travis_improvements

Commits

Commits on Jun 16, 2014