willowgarage/catkin — Issue #79: setup.sh and setup.bash don't have #! at the top
Author: tfoote
Created: 2012-02-15 08:12:25+00:00
State: open
Labels: defect, minor

They should as they're bash/sh scripts.

From Thibault.