diff options
| author | jszursze | 2001-09-20 10:57:29 +0000 |
|---|---|---|
| committer | jszursze | 2001-09-20 10:57:29 +0000 |
| commit | 9fdad95e284a62cd587d320321008683407f5ec1 (patch) | |
| tree | 98745884306398d7acad7ca7ae90802199fb35f1 /org.eclipse.debug.ui/build.properties | |
| parent | 0d5c7b29a136f482448c209576849049dfdc346c (diff) | |
| download | eclipse.platform.debug-9fdad95e284a62cd587d320321008683407f5ec1.tar.gz eclipse.platform.debug-9fdad95e284a62cd587d320321008683407f5ec1.tar.xz eclipse.platform.debug-9fdad95e284a62cd587d320321008683407f5ec1.zip | |
*** empty log message ***v201
Diffstat (limited to 'org.eclipse.debug.ui/build.properties')
| -rw-r--r-- | org.eclipse.debug.ui/build.properties | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/org.eclipse.debug.ui/build.properties b/org.eclipse.debug.ui/build.properties index 19c89bcea..9b4a74684 100644 --- a/org.eclipse.debug.ui/build.properties +++ b/org.eclipse.debug.ui/build.properties @@ -3,12 +3,5 @@ bin.includes = icons/,\ plugin.xml,\
plugin.properties,\
*.jar
-build.includes = .options,\
- plugin.jars,\
- plugin.xml,\
- plugin.properties,\
- icons/,\
- doc/,\
- build.properties
-build.vaj.Eclipse\ Debug\ UI = Eclipse Debug UI
-source.dtui.jar = Eclipse Debug UI
+
+source.dtui.jar = Eclipse Debug UI/
|