minesweeper: adding deploy file.

right now it includes too much stuff so the file sizes are a little big.
windows-high-dpi
John Benediktsson 2018-03-01 10:45:32 -08:00
parent ac5980d55b
commit e0d53267f5
1 changed files with 16 additions and 0 deletions

View File

@ -0,0 +1,16 @@
USING: tools.deploy.config ;
H{
{ deploy-console? f }
{ deploy-io 3 }
{ deploy-reflection 5 }
{ 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 "Minesweeper" }
{ deploy-unicode? f }
}