2007-10-06 13:38:54 -04:00
|
|
|
USING: tools.deploy.config ;
|
2007-09-20 18:09:08 -04:00
|
|
|
V{
|
|
|
|
{ deploy-ui? t }
|
2014-06-20 09:09:47 -04:00
|
|
|
{ deploy-io 3 }
|
2007-11-04 22:58:00 -05:00
|
|
|
{ deploy-reflection 3 }
|
|
|
|
{ deploy-math? t }
|
|
|
|
{ deploy-word-props? f }
|
|
|
|
{ deploy-c-types? f }
|
|
|
|
{ "stop-after-last-window?" t }
|
2007-11-05 00:47:13 -05:00
|
|
|
{ deploy-name "Gesture Logger" }
|
2007-09-20 18:09:08 -04:00
|
|
|
}
|