diff options
| author | Darin Wright | 2001-06-06 15:58:05 +0000 |
|---|---|---|
| committer | Darin Wright | 2001-06-06 15:58:05 +0000 |
| commit | f7ba7b88df58fb37c9d325f0e61a712f14c8f0d0 (patch) | |
| tree | 4d17aa8d6b0ceb4df847032ec04c37b03e91dc92 /org.eclipse.debug.core | |
| parent | ea3e8569918034ac9374f01d27e932f301adf998 (diff) | |
| download | eclipse.platform.debug-f7ba7b88df58fb37c9d325f0e61a712f14c8f0d0.tar.gz eclipse.platform.debug-f7ba7b88df58fb37c9d325f0e61a712f14c8f0d0.tar.xz eclipse.platform.debug-f7ba7b88df58fb37c9d325f0e61a712f14c8f0d0.zip | |
build tool upate
Diffstat (limited to 'org.eclipse.debug.core')
| -rw-r--r-- | org.eclipse.debug.core/build.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.debug.core/build.properties b/org.eclipse.debug.core/build.properties index 201ec27ca..637c89ad6 100644 --- a/org.eclipse.debug.core/build.properties +++ b/org.eclipse.debug.core/build.properties @@ -4,7 +4,7 @@ bin.includes = .options,\ build.includes = .options,\
plugin.jars,\
plugin.xml,\
- doc,\
+ doc/,\
build.properties
build.vaj.Eclipse\ Debug\ Core = Eclipse Debug Core
source.dtcore.jar = Eclipse Debug Core
|