From e65df89a323baafe57e22d0c924f53ea67351bb9 Mon Sep 17 00:00:00 2001
From: erik <erik@77661180-640e-0410-b3a8-9f9b13e6d0e0>
Date: Thu, 16 Mar 2006 18:58:33 +0000
Subject: [PATCH]

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 149a1150..0b4a0f01 100644
--- a/build.xml
+++ b/build.xml
@@ -11,7 +11,7 @@
 
     &header;
     
-    <property name="projects" value="support,crawler"/>
+    <property name="projects" value="support,crawler,socketproxy"/>
     
     &delegator;
 
-- 
2.31.1