diff options
| author | Jared Burns | 2002-08-05 18:14:16 +0000 |
|---|---|---|
| committer | Jared Burns | 2002-08-05 18:14:16 +0000 |
| commit | fe6dcd2945361ddd1cf8014753bf0d04f2a8ea1c (patch) | |
| tree | 3c351c292e0c5a5b5c483a89c9f31adb64e5ca38 /org.eclipse.debug.ui/build.properties | |
| parent | 19dde7bbedba3a357349ab300ced8148b63fc4af (diff) | |
| download | eclipse.platform.debug-fe6dcd2945361ddd1cf8014753bf0d04f2a8ea1c.tar.gz eclipse.platform.debug-fe6dcd2945361ddd1cf8014753bf0d04f2a8ea1c.tar.xz eclipse.platform.debug-fe6dcd2945361ddd1cf8014753bf0d04f2a8ea1c.zip | |
*** keyword substitution change ***
Diffstat (limited to 'org.eclipse.debug.ui/build.properties')
| -rw-r--r-- | org.eclipse.debug.ui/build.properties | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/org.eclipse.debug.ui/build.properties b/org.eclipse.debug.ui/build.properties index f3399369c..8a1b9051f 100644 --- a/org.eclipse.debug.ui/build.properties +++ b/org.eclipse.debug.ui/build.properties @@ -1,9 +1,9 @@ -bin.includes = icons/,\
- .options,\
- plugin.xml,\
- plugin.properties,\
- *.jar,\
- about.html
-
-source.dtui.jar = ui/
-src.includes=about.html
+bin.includes = icons/,\ + .options,\ + plugin.xml,\ + plugin.properties,\ + *.jar,\ + about.html + +source.dtui.jar = ui/ +src.includes=about.html |