search

cartographer-project / cartographer_turtlebot

Provides TurtleBot integration for Cartographer.
Apache License 2.0
151 stars 96 forks source link

Do not ignore docker history command errors. #55

Closed damonkohler closed 7 years ago

damonkohler commented 7 years ago

Fixes googlecartographer/cartographer#292