diff options
author | Darin Wright | 2001-06-06 15:58:25 +0000 |
---|---|---|
committer | Darin Wright | 2001-06-06 15:58:25 +0000 |
commit | 6e1390db8bdce449a230a92bae6ebf3bc0e1ac9f (patch) | |
tree | fbba43bb86695a066c6e8646c49eb8a1dc5bd07b /org.eclipse.debug.ui/build.properties | |
parent | f7ba7b88df58fb37c9d325f0e61a712f14c8f0d0 (diff) | |
download | eclipse.platform.debug-6e1390db8bdce449a230a92bae6ebf3bc0e1ac9f.tar.gz eclipse.platform.debug-6e1390db8bdce449a230a92bae6ebf3bc0e1ac9f.tar.xz eclipse.platform.debug-6e1390db8bdce449a230a92bae6ebf3bc0e1ac9f.zip |
build tool update
Diffstat (limited to 'org.eclipse.debug.ui/build.properties')
-rw-r--r-- | org.eclipse.debug.ui/build.properties | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.debug.ui/build.properties b/org.eclipse.debug.ui/build.properties index b09d233b2..19c89bcea 100644 --- a/org.eclipse.debug.ui/build.properties +++ b/org.eclipse.debug.ui/build.properties @@ -7,8 +7,8 @@ build.includes = .options,\ plugin.jars,\
plugin.xml,\
plugin.properties,\
- icons,\
- doc,\
+ icons/,\
+ doc/,\
build.properties
build.vaj.Eclipse\ Debug\ UI = Eclipse Debug UI
source.dtui.jar = Eclipse Debug UI
|