]> gitweb.factorcode.org Git - factor.git/commitdiff
git-tool: fix USING:
authorEduardo Cavazos <dharmatech@finkelstein.stackeffects.info>
Wed, 14 Jan 2009 08:54:18 +0000 (02:54 -0600)
committerEduardo Cavazos <dharmatech@finkelstein.stackeffects.info>
Wed, 14 Jan 2009 08:54:18 +0000 (02:54 -0600)
extra/git-tool/git-tool.factor

index f8f35b5423da88818e59a28ba7a7c7327eed5a15..6723eae5eb8c98df8b7f8919afdbddc3cbd901af 100644 (file)
@@ -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