jrl-umi3218/jrl-travis — pull request #5 by bchretien (2013-12-13 15:20:34+00:00)
Title: Make Travis scripts debugging easier

This is probably going to require some more commits.