ros-planning/navigation_experimental — pull request #2 by ablasdel (2013-02-21 18:44:55+00:00)
Title: Added default github .gitignore entries

This should make people's lives easier when working with these packages in git.