Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDarin Wright2001-06-06 15:58:25 +0000
committerDarin Wright2001-06-06 15:58:25 +0000
commit6e1390db8bdce449a230a92bae6ebf3bc0e1ac9f (patch)
treefbba43bb86695a066c6e8646c49eb8a1dc5bd07b
parentf7ba7b88df58fb37c9d325f0e61a712f14c8f0d0 (diff)
downloadeclipse.platform.debug-6e1390db8bdce449a230a92bae6ebf3bc0e1ac9f.tar.gz
eclipse.platform.debug-6e1390db8bdce449a230a92bae6ebf3bc0e1ac9f.tar.xz
eclipse.platform.debug-6e1390db8bdce449a230a92bae6ebf3bc0e1ac9f.zip
build tool update
-rw-r--r--org.eclipse.debug.ui/build.properties4
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

Back to the top