From 4c12d0b70e9918a00759c7c31cd0f420318ab525 Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=B6rn=20Zaefferer?= <joern.zaefferer@gmail.com>
Date: Sat, 23 Sep 2006 13:18:13 +0000
Subject: [PATCH] Don't include any plugins (or other files by accident) as
 default

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

diff --git a/build.xml b/build.xml
index 5768ff7..3596136 100644
--- a/build.xml
+++ b/build.xml
@@ -7,7 +7,7 @@
     <property name="JAR" value="${BUILD_DIR}/js.jar" />
 	
 	<property name="PLUGIN_DIR" location="../plugins" />
-	<property name="PLUGINS" value="" />
+	<property name="PLUGINS" value="none" />
 	
     <property name="PREFIX" value="." />
     <property name="DOCS_DIR" value="${PREFIX}/docs" />
-- 
1.7.10.4