diff --git a/extra/factory/deploy.factor b/extra/factory/deploy.factor deleted file mode 100644 index 84dd43b7e1..0000000000 --- a/extra/factory/deploy.factor +++ /dev/null @@ -1,12 +0,0 @@ -USING: tools.deploy.config ; -V{ - { strip-globals? f } - { strip-word-props? f } - { strip-word-names? f } - { strip-dictionary? f } - { strip-debugger? f } - { deploy-math? t } - { deploy-compiled? t } - { deploy-io? f } - { deploy-ui? f } -}