From d3e9d2e1ab2b18c8595efe77f7b8e55cc7ae87d9 Mon Sep 17 00:00:00 2001
From: Eduardo Cavazos <dharmatech@finkelstein.stackeffects.info>
Date: Wed, 14 Jan 2009 10:03:31 -0600
Subject: [PATCH] git-tool: minor tweak

---
 extra/git-tool/git-tool.factor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extra/git-tool/git-tool.factor b/extra/git-tool/git-tool.factor
index 6723eae5eb..ff45d32c65 100644
--- a/extra/git-tool/git-tool.factor
+++ b/extra/git-tool/git-tool.factor
@@ -458,7 +458,7 @@ TUPLE: <git-status>
       
       PILE add-gadget ]
 
-    REPO            <pile> 1 >>fill tuck refresh-remotes-pile add-gadget
+    REPO <pile> 1 >>fill tuck refresh-remotes-pile add-gadget
 
   "Git" open-window ;