diff options
Diffstat (limited to 'devel/setup.bash')
-rw-r--r-- | devel/setup.bash | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/devel/setup.bash b/devel/setup.bash deleted file mode 100644 index ff47af8f3..000000000 --- a/devel/setup.bash +++ /dev/null @@ -1,8 +0,0 @@ -#!/usr/bin/env bash -# generated from catkin/cmake/templates/setup.bash.in - -CATKIN_SHELL=bash - -# source setup.sh from same directory as this file -_CATKIN_SETUP_DIR=$(builtin cd "`dirname "${BASH_SOURCE[0]}"`" > /dev/null && pwd) -. "$_CATKIN_SETUP_DIR/setup.sh" |