ros-planning/navigation — pull request #153 by contradict (2013-11-21 04:22:53+00:00)
Title: Simple bug fixes

One bug fix and one more gitignore.