commit 05e67108d6412aa8d8064f790233028d50936c49
author jszursze <jszursze> Tue Sep 25 17:34:19 2001 +0000
committer jszursze <jszursze> Tue Sep 25 17:34:19 2001 +0000
tree 6bb4c65a57805d5077e62a90500cb217f9dfa764
parent 8f63a8df96592ba83f07e6a87a33548ce637e7c1

Add plugin.properties to build.properties

org.eclipse.debug.core/build.properties

diff --git a/org.eclipse.debug.core/build.properties b/org.eclipse.debug.core/build.properties
index 0a43d1e..3584ec9 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,\