From 7c012159d7041922e04199f7e2e15cc479ed607b Mon Sep 17 00:00:00 2001
From: Eduardo Cavazos <dharmatech@finkelstein.stackeffects.info>
Date: Sun, 11 Jan 2009 11:06:54 -0600
Subject: [PATCH] git-tool: add 'factor-git-tool'

---
 extra/git-tool/git-tool.factor | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/extra/git-tool/git-tool.factor b/extra/git-tool/git-tool.factor
index 2b692f0963..1b079ed0ac 100644
--- a/extra/git-tool/git-tool.factor
+++ b/extra/git-tool/git-tool.factor
@@ -437,4 +437,10 @@ TUPLE: <git-status>
     REPO            <pile> 1 >>fill tuck refresh-remotes-pile add-gadget
 
   "Git" open-window ;
-  
\ No newline at end of file
+
+! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
+
+: factor-git-tool ( -- ) "resource:" git-tool ;
+
+! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
+
-- 
2.34.1