diff options
author | Darin Wright | 2001-05-25 16:50:38 +0000 |
---|---|---|
committer | Darin Wright | 2001-05-25 16:50:38 +0000 |
commit | 8fb7f61e9135cad6213e7f6cc92e34cd63fff024 (patch) | |
tree | 8a23c18367277d6c1ad6ba0385552a8c2cc5b867 | |
parent | bcea19ab372e52383744c014f176cc92f1a41e1b (diff) | |
download | eclipse.platform.debug-8fb7f61e9135cad6213e7f6cc92e34cd63fff024.tar.gz eclipse.platform.debug-8fb7f61e9135cad6213e7f6cc92e34cd63fff024.tar.xz eclipse.platform.debug-8fb7f61e9135cad6213e7f6cc92e34cd63fff024.zip |
*** empty log message ***v0_113_01
-rw-r--r-- | org.eclipse.debug.core/build.properties | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/org.eclipse.debug.core/build.properties b/org.eclipse.debug.core/build.properties index cc67f9577..9332d8099 100644 --- a/org.eclipse.debug.core/build.properties +++ b/org.eclipse.debug.core/build.properties @@ -1,7 +1,9 @@ -# VAJ build contribution
-build.includes=.options,plugin.jars,plugin.xml
-build.vaj.Eclipse\ Debug\ Core=Eclipse Debug Core
-
-# Eclipse build contribution
-source.dtcore.jar=Eclipse Debug Core
-bin.includes=.options,plugin.xml,*.jar
+bin.includes = .options,\
+ plugin.xml,\
+ *.jar
+build.includes = .options,\
+ plugin.jars,\
+ plugin.xml,\
+ doc
+build.vaj.Eclipse Debug Core = Eclipse Debug Core
+source.dtcore.jar = Eclipse Debug Core
|