1 files changed, 0 insertions, 2 deletions
diff --git a/bin/git-develacc b/bin/git-develacc
index 0d8178a0..4e8f3671 100755
--- a/bin/git-develacc
+++ b/bin/git-develacc
@@ -19,8 +19,6 @@
 
 set -e
 
-$HOME/.shenv
-
 # sanity check
 if in-develacc; then
     echo >&2 "$0: this script should be run outside the develacc container by my normal user"