diff options
| author | Kai Maetzel | 2003-11-06 17:32:25 +0000 |
|---|---|---|
| committer | Kai Maetzel | 2003-11-06 17:32:25 +0000 |
| commit | 0bbc66ed87ebe3016f3407a8e7c643daa271aa39 (patch) | |
| tree | c36d32d996e993906eb13999f31651a4b550ee09 /org.eclipse.ui.editors | |
| parent | 7db1eeec5a8900c584b9e91508c6af401b81ebca (diff) | |
| download | eclipse.platform.text-0bbc66ed87ebe3016f3407a8e7c643daa271aa39.tar.gz eclipse.platform.text-0bbc66ed87ebe3016f3407a8e7c643daa271aa39.tar.xz eclipse.platform.text-0bbc66ed87ebe3016f3407a8e7c643daa271aa39.zip | |
*** empty log message ***
Diffstat (limited to 'org.eclipse.ui.editors')
| -rw-r--r-- | org.eclipse.ui.editors/build.properties | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/build.properties b/org.eclipse.ui.editors/build.properties index 86da97cddde..e0dabb8415c 100644 --- a/org.eclipse.ui.editors/build.properties +++ b/org.eclipse.ui.editors/build.properties @@ -2,4 +2,5 @@ source.editors.jar = src/ bin.includes = *.jar,\ plugin.xml,\ plugin.properties,\ - about.html + about.html,\ + icons/ |