From 1c959d0ccad2454891a23b1483904e6b04e551e8 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Thu, 28 Feb 2008 01:33:09 -0600 Subject: [PATCH] Add new checkbox --- extra/ui/tools/deploy/deploy.factor | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/extra/ui/tools/deploy/deploy.factor b/extra/ui/tools/deploy/deploy.factor index df87d57873..9aa763d7ec 100755 --- a/extra/ui/tools/deploy/deploy.factor +++ b/extra/ui/tools/deploy/deploy.factor @@ -34,9 +34,10 @@ TUPLE: deploy-gadget vocab settings ; "Advanced:"