diff options
| author | jszursze | 2001-09-24 10:52:13 +0000 |
|---|---|---|
| committer | jszursze | 2001-09-24 10:52:13 +0000 |
| commit | 8f63a8df96592ba83f07e6a87a33548ce637e7c1 (patch) | |
| tree | e1fb002809260a5217afc8890c5086498247f72e | |
| parent | 94c4d8aa3e9dc481d5b0e3d96e774aa84aa14d96 (diff) | |
| download | eclipse.platform.debug-8f63a8df96592ba83f07e6a87a33548ce637e7c1.tar.gz eclipse.platform.debug-8f63a8df96592ba83f07e6a87a33548ce637e7c1.tar.xz eclipse.platform.debug-8f63a8df96592ba83f07e6a87a33548ce637e7c1.zip | |
Add plugin.properties to build.propertiesv0_137
| -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 637c89ad6..0a43d1ef8 100644 --- a/org.eclipse.debug.core/build.properties +++ b/org.eclipse.debug.core/build.properties @@ -4,6 +4,7 @@ bin.includes = .options,\ build.includes = .options,\
plugin.jars,\
plugin.xml,\
+ plugin.properties,\
doc/,\
build.properties
build.vaj.Eclipse\ Debug\ Core = Eclipse Debug Core
|