From 7cd27e27dfbb9d5663b27157c00fd69b6c9cfa97 Mon Sep 17 00:00:00 2001
From: Martin Gondermann <magicmonty@pagansoft.de>
Date: Wed, 8 Oct 2014 22:53:22 +0200
Subject: [PATCH] Removed obsolete Time variables in gitprompt.sh

FIxes #86
---
 gitprompt.sh | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/gitprompt.sh b/gitprompt.sh
index d824692..1c18ce3 100755
--- a/gitprompt.sh
+++ b/gitprompt.sh
@@ -209,12 +209,6 @@ function git_prompt_config()
 
   if [[ -z "$PROMPT_START" || -z "$PROMPT_END" ]]; then
 
-    # Various variables you might want for your PS1 prompt instead
-    local Time12a="\$(date +%H:%M)"
-    # local Time12a="(\$(date +%H:%M:%S))"
-    # local Time12a="(\@))"
-    local PathShort="\w"
-
     if [[ -z "$GIT_PROMPT_START" ]] ; then
       if $_isroot; then
         PROMPT_START="$GIT_PROMPT_START_ROOT"