Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorjszursze2001-09-25 17:34:19 +0000
committerjszursze2001-09-25 17:34:19 +0000
commit05e67108d6412aa8d8064f790233028d50936c49 (patch)
tree6bb4c65a57805d5077e62a90500cb217f9dfa764
parent8f63a8df96592ba83f07e6a87a33548ce637e7c1 (diff)
downloadeclipse.platform.debug-Eclipse_0_9_Maintenance_Stream.tar.gz
eclipse.platform.debug-Eclipse_0_9_Maintenance_Stream.tar.xz
eclipse.platform.debug-Eclipse_0_9_Maintenance_Stream.zip
Add plugin.properties to build.propertiesv0_137aEclipse_0_9_Maintenance_Stream
-rw-r--r--org.eclipse.debug.core/build.properties1
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.debug.core/build.properties b/org.eclipse.debug.core/build.properties
index 0a43d1ef8..3584ec99e 100644
--- a/org.eclipse.debug.core/build.properties
+++ b/org.eclipse.debug.core/build.properties
@@ -1,5 +1,6 @@
bin.includes = .options,\
plugin.xml,\
+ plugin.properties,\
*.jar
build.includes = .options,\
plugin.jars,\

Back to the top