From 0b0e95e88c1dbd6a9f16300ae03f725e37b6369b Mon Sep 17 00:00:00 2001 From: Tom Willemsen Date: Thu, 28 Jul 2011 00:25:27 +0200 Subject: Preparing placing home-directory in repo --- zsh/functions/precmd_update_git_vars | 6 ------ 1 file changed, 6 deletions(-) delete mode 100755 zsh/functions/precmd_update_git_vars (limited to 'zsh/functions/precmd_update_git_vars') diff --git a/zsh/functions/precmd_update_git_vars b/zsh/functions/precmd_update_git_vars deleted file mode 100755 index 172456a..0000000 --- a/zsh/functions/precmd_update_git_vars +++ /dev/null @@ -1,6 +0,0 @@ -# -*- mode: shell-script -*- - -if [ -n "$__EXECUTED_GIT_COMMAND" ]; then - update_current_git_vars - unset __EXECUTED_GIT_COMMAND -fi -- cgit v1.2.3-54-g00ecf