ros-planning/navigation — pull request #108 by stonier (2013-08-13 09:50:34+00:00)
Title: Trivial build updates

These aren't high priority.

* Updates the deprecated catkin download function.
* Uniquely names the map_save target (doesn't change resulting filename) so it doesn't clash with map_store's target when building both from source in the same catkin_workspace.