Change deploy descriptor back

db4
Slava Pestov 2008-12-12 19:49:22 -06:00
parent 2182bd6422
commit 115d6e792f
1 changed files with 1 additions and 1 deletions

View File

@ -5,7 +5,7 @@ H{
{ deploy-ui? f } { deploy-ui? f }
{ "stop-after-last-window?" t } { "stop-after-last-window?" t }
{ deploy-word-defs? f } { deploy-word-defs? f }
{ deploy-reflection 2 } { deploy-reflection 1 }
{ deploy-compiler? t } { deploy-compiler? t }
{ deploy-threads? t } { deploy-threads? t }
{ deploy-io 3 } { deploy-io 3 }