diff options
| author | Darin Wright | 2001-10-31 14:54:37 +0000 |
|---|---|---|
| committer | Darin Wright | 2001-10-31 14:54:37 +0000 |
| commit | 1044644e8d7a276e0532f12cc042ab35dfe12b91 (patch) | |
| tree | 01ebb9bbfbaef9f027d429b3d939e4fe026ad8e8 /org.eclipse.debug.ui/build.properties | |
| parent | 36d821cfb915e6380dff727b48e5dad60c64f3a9 (diff) | |
| download | eclipse.platform.debug-1044644e8d7a276e0532f12cc042ab35dfe12b91.tar.gz eclipse.platform.debug-1044644e8d7a276e0532f12cc042ab35dfe12b91.tar.xz eclipse.platform.debug-1044644e8d7a276e0532f12cc042ab35dfe12b91.zip | |
about.html
Diffstat (limited to 'org.eclipse.debug.ui/build.properties')
| -rw-r--r-- | org.eclipse.debug.ui/build.properties | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.debug.ui/build.properties b/org.eclipse.debug.ui/build.properties index 7a8450717..8b7fb481b 100644 --- a/org.eclipse.debug.ui/build.properties +++ b/org.eclipse.debug.ui/build.properties @@ -2,6 +2,7 @@ bin.includes = icons/,\ .options,\
plugin.xml,\
plugin.properties,\
- *.jar
+ *.jar,\
+ about.html
source.dtui.jar = ui/
|