]> gitweb.factorcode.org Git - factor.git/commitdiff
hello-ui: add deploy-help? setting to the deployment config
authorAlexander Ilin <alex.ilin@protonmail.com>
Sat, 2 Sep 2023 16:31:11 +0000 (18:31 +0200)
committerAlexander Ilin <alex.ilin@protonmail.com>
Sat, 2 Sep 2023 16:34:15 +0000 (18:34 +0200)
extra/hello-ui/deploy.factor

index 419f00627eb600dbb8f1f9540a7b065cfb697fae..5495358e2e7d6c339dcd17597cafce40be89837a 100644 (file)
@@ -11,5 +11,6 @@ H{
     { deploy-math? t }
     { deploy-threads? t }
     { deploy-word-defs? f }
+    { deploy-help? f }
     { deploy-name "Hello, world!" }
 }