jrl-umi3218/jrl-dynamics — pull request #7 by francois-keith (2014-07-04 00:52:09+00:00)
Title: Use the jrl-travis submodule to simplify the use of travis.

The debian repository has been moved to another branch
because of this modification.