diff options
author | jszursze | 2001-09-25 17:34:19 +0000 |
---|---|---|
committer | jszursze | 2001-09-25 17:34:19 +0000 |
commit | 05e67108d6412aa8d8064f790233028d50936c49 (patch) | |
tree | 6bb4c65a57805d5077e62a90500cb217f9dfa764 | |
parent | 8f63a8df96592ba83f07e6a87a33548ce637e7c1 (diff) | |
download | eclipse.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.properties | 1 |
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,\
|