ros/catkin — pull request #520 by dirk-thomas (2013-09-30 19:20:42+00:00)
Title: fix generated setup.bash|zsh for isolated devel space

@wjwwood Please review