diff options
| author | Jared Burns | 2001-10-05 11:11:50 +0000 |
|---|---|---|
| committer | Jared Burns | 2001-10-05 11:11:50 +0000 |
| commit | f0012cc455dda3d08bbf4151b750fd0d6dd2ee09 (patch) | |
| tree | 4417ecbdbe827025bc082dc413cb6d1c5ec351be /org.eclipse.debug.ui/build.properties | |
| parent | 05c6dd4db99a96ba1069fa67c32397af8d5430ea (diff) | |
| download | eclipse.platform.debug-f0012cc455dda3d08bbf4151b750fd0d6dd2ee09.tar.gz eclipse.platform.debug-f0012cc455dda3d08bbf4151b750fd0d6dd2ee09.tar.xz eclipse.platform.debug-f0012cc455dda3d08bbf4151b750fd0d6dd2ee09.zip | |
source folder rename
Diffstat (limited to 'org.eclipse.debug.ui/build.properties')
| -rw-r--r-- | org.eclipse.debug.ui/build.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.debug.ui/build.properties b/org.eclipse.debug.ui/build.properties index 9b4a74684..7a8450717 100644 --- a/org.eclipse.debug.ui/build.properties +++ b/org.eclipse.debug.ui/build.properties @@ -4,4 +4,4 @@ bin.includes = icons/,\ plugin.properties,\
*.jar
-source.dtui.jar = Eclipse Debug UI/
+source.dtui.jar = ui/
|