diff options
Diffstat (limited to 'devel/setup.zsh')
| -rw-r--r-- | devel/setup.zsh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/devel/setup.zsh b/devel/setup.zsh deleted file mode 100644 index b66071766..000000000 --- a/devel/setup.zsh +++ /dev/null @@ -1,8 +0,0 @@ -#!/usr/bin/env zsh -# generated from catkin/cmake/templates/setup.zsh.in - -CATKIN_SHELL=zsh -_CATKIN_SETUP_DIR=$(builtin cd -q "`dirname "$0"`" > /dev/null && pwd) -emulate sh # emulate POSIX -. "$_CATKIN_SETUP_DIR/setup.sh" -emulate zsh # back to zsh mode |