commit 19e4000ba7790526d058b8a6d1fec6332781aff7
author jszursze <jszursze> Mon Sep 24 10:52:12 2001 +0000
committer jszursze <jszursze> Mon Sep 24 10:52:12 2001 +0000
tree dba3ea745044917a832dddfa4c74eb02c74a71fa
parent 1c2f709b92b500daeea08efb689628446dcaebbd

Add plugin.properties to build.properties

org.eclipse.jdt.debug/build.properties

diff --git a/org.eclipse.jdt.debug/build.properties b/org.eclipse.jdt.debug/build.properties
index 865c451..f19f3c0 100644
--- a/org.eclipse.jdt.debug/build.properties
+++ b/org.eclipse.jdt.debug/build.properties
@@ -3,6 +3,7 @@
 build.includes = .options,\

                  plugin.jars,\

                  plugin.xml,\

+                 plugin.properties,\

                  jdi.jar,\

                  build.properties

 build.vaj.Eclipse\ Java\ Core\ Debug = Eclipse Java Core Debug