Revert "Use colcon as the build tool"#1838

Closed

esteve wants to merge 1 commit intodevelopfrom revert-1704-feature/use_colcon

+252-810

Commits on Jan 8, 2019

Revert "Use colcon as the build tool (#1704 )"
esteve
committed