]> gitweb.factorcode.org Git - factor.git/commitdiff
git-tool: add 'factor-git-tool'
authorEduardo Cavazos <dharmatech@finkelstein.stackeffects.info>
Sun, 11 Jan 2009 17:06:54 +0000 (11:06 -0600)
committerEduardo Cavazos <dharmatech@finkelstein.stackeffects.info>
Sun, 11 Jan 2009 17:06:54 +0000 (11:06 -0600)
extra/git-tool/git-tool.factor

index 2b692f0963952bb4d6d9604bf0ce65b189a76419..1b079ed0acd2aea88b3aae246baa0e8501e0e28c 100644 (file)
@@ -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 ;
+
+! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
+