roboptim/roboptim-core-plugin-nag — pull request #5 by bchretien (2013-12-13 18:25:29+00:00)
Title: [travis] Synchronize

Fix Travis build.