commit da282eda641e992f531cd4b603ddbde294c61dc2
author Olivier Thomann <oliviert> Tue Feb 13 18:10:52 2007 +0000
committer Olivier Thomann <oliviert> Tue Feb 13 18:10:52 2007 +0000
tree 0ee4bd07cdc12199d37bcc09108f87e00ff61a19
parent 7e3da927313ff14c57ab42b8b77830d4bd9ba55d

HEAD - Remove library.jar

org.eclipse.jdt.compiler.apt/build.properties

diff --git a/org.eclipse.jdt.compiler.apt/build.properties b/org.eclipse.jdt.compiler.apt/build.properties
index fd49b10..dd65556 100644
--- a/org.eclipse.jdt.compiler.apt/build.properties
+++ b/org.eclipse.jdt.compiler.apt/build.properties
@@ -14,8 +14,7 @@
                about.html,\
                build.properties,\
                plugin.properties,\
-               plugin.xml,\
-               library.jar
+               plugin.xml
 src.includes = batch/,\
                ide/,\
                .classpath,\
@@ -23,10 +22,12 @@
                META-INF/,\
                about.html,\
                build.properties,\
-               plugin.properties
+               plugin.properties,\
+               .options,\
+               .settings/,\
+               customBuildCallbacks.xml,\
+               plugin.xml
 jars.compile.order = .
 output.. = bin/
 source.. = batch/,\
            ide/
-source.library.jar = batch/,\
-                     ide/