]> gitweb.factorcode.org Git - factor.git/commitdiff
Fix
authorSlava Pestov <slava@oberon.internal.stack-effects.com>
Fri, 21 Mar 2008 02:35:32 +0000 (21:35 -0500)
committerSlava Pestov <slava@oberon.internal.stack-effects.com>
Fri, 21 Mar 2008 02:35:32 +0000 (21:35 -0500)
extra/hello-ui/deploy.factor

index 0ec9c1950311df3fad2bba44bf9e1db342872af7..31f1181be2314090dda228e53eaf0ae89217f5c7 100755 (executable)
@@ -1,7 +1,7 @@
 USING: tools.deploy.config ;
 H{
     { deploy-word-defs? f }
-    { deploy-random? t }
+    { deploy-random? f }
     { deploy-name "Hello world" }
     { deploy-threads? t }
     { deploy-compiler? t }