From 258438c930133174f599fc0d5fcbfcd33213e575 Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos Date: Wed, 14 Jan 2009 02:53:12 -0600 Subject: [PATCH] git-tool: Remove old code --- extra/git-tool/git-tool.factor | 34 ---------------------------------- 1 file changed, 34 deletions(-) diff --git a/extra/git-tool/git-tool.factor b/extra/git-tool/git-tool.factor index 314bddb19a..f8f35b5423 100644 --- a/extra/git-tool/git-tool.factor +++ b/extra/git-tool/git-tool.factor @@ -425,39 +425,6 @@ TUPLE: ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! -! :: git-tool ( REPO -- ) - -! 1 >>fill - -! "Repository: " REPO [ current-directory get ] with-directory append -!