cartographer_ros

Author	SHA1	Message	Date
Michael Grupp	1c9274ffee	Default to master in rosinstall (fixes #1122 ). (#1530 ) This makes much more sense than 1.0.0, which is counter-intuitive. If someone is building from source they usually do it to build the latest bleeding-edge version. Signed-off-by: Michael Grupp <grupp@magazino.eu>	2020-10-22 17:33:45 +02:00
Damon Kohler	8a6a2216d2	Adds arg to set cartographer version for docker build. (#376 )	2017-06-14 14:44:16 +02:00
Damon Kohler	6dd217beab	Improve Docker caching. (#139 )	2016-10-23 18:16:12 +02:00