Don't include any plugins (or other files by accident) as default

This commit is contained in:
Jörn Zaefferer 2006-09-23 13:18:13 +00:00
parent f71726142b
commit 4c12d0b70e

View file

@ -7,7 +7,7 @@
<property name="JAR" value="${BUILD_DIR}/js.jar" /> <property name="JAR" value="${BUILD_DIR}/js.jar" />
<property name="PLUGIN_DIR" location="../plugins" /> <property name="PLUGIN_DIR" location="../plugins" />
<property name="PLUGINS" value="" /> <property name="PLUGINS" value="none" />
<property name="PREFIX" value="." /> <property name="PREFIX" value="." />
<property name="DOCS_DIR" value="${PREFIX}/docs" /> <property name="DOCS_DIR" value="${PREFIX}/docs" />