remove travis now that Melodic buildfarm is available for CI#114
Merged
mikaelarguedas merged 1 commit intomelodic-develfrom Apr 15, 2018
Merged
remove travis now that Melodic buildfarm is available for CI#114mikaelarguedas merged 1 commit intomelodic-develfrom
mikaelarguedas merged 1 commit intomelodic-develfrom