ros/catkin — pull request #655 by dirk-thomas (2014-06-12 16:37:15+00:00)
Title: reset CATKIN_SHELL in devel space generated env.sh files

Addresses #652.

@tfoote @wjwwood Please review.