USING: tools.deploy.config ;
H{
{ deploy-console? t }
- { deploy-ui? t }
- { deploy-c-types? f }
- { deploy-unicode? f }
- { "stop-after-last-window?" t }
{ deploy-io 3 }
{ deploy-reflection 1 }
- { deploy-word-props? f }
- { deploy-math? t }
- { deploy-threads? t }
+ { deploy-ui? t }
{ deploy-word-defs? f }
+ { deploy-threads? t }
+ { "stop-after-last-window?" t }
+ { deploy-math? t }
+ { deploy-word-props? f }
+ { deploy-c-types? f }
{ deploy-help? f }
{ deploy-name "Hello, world!" }
+ { deploy-unicode? f }
}