From 36680ce34ebf95d428e1daed212b39bed399b2ca Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos Date: Wed, 14 Jan 2009 02:54:18 -0600 Subject: [PATCH] git-tool: fix USING: --- extra/git-tool/git-tool.factor | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/extra/git-tool/git-tool.factor b/extra/git-tool/git-tool.factor index f8f35b5423..6723eae5eb 100644 --- a/extra/git-tool/git-tool.factor +++ b/extra/git-tool/git-tool.factor @@ -1,11 +1,11 @@ USING: accessors combinators.cleave combinators.short-circuit concurrency.combinators destructors fry io io.directories -io.encodings io.encodings.utf8 io.launcher io.pathnames -io.pipes io.ports kernel locals math namespaces sequences -splitting strings ui ui.gadgets ui.gadgets.buttons -ui.gadgets.editors ui.gadgets.labels ui.gadgets.packs -ui.gadgets.tracks ; +io.encodings io.encodings.utf8 io.launcher io.monitors +io.pathnames io.pipes io.ports kernel locals math namespaces +sequences splitting strings threads ui ui.gadgets +ui.gadgets.buttons ui.gadgets.editors ui.gadgets.labels +ui.gadgets.packs ui.gadgets.tracks ; IN: git-tool