diff options
Diffstat (limited to 'org.eclipse.ui.examples.javaeditor/build.properties')
-rw-r--r-- | org.eclipse.ui.examples.javaeditor/build.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.ui.examples.javaeditor/build.properties b/org.eclipse.ui.examples.javaeditor/build.properties index 38bfd05eb01..0d896700a9b 100644 --- a/org.eclipse.ui.examples.javaeditor/build.properties +++ b/org.eclipse.ui.examples.javaeditor/build.properties @@ -3,6 +3,7 @@ source.javaeditorexample.jar = Eclipse Java Editor Example/ bin.includes = doc-html/,\
icons/,\
.options,\
+ about.html,\
plugin.properties,\
plugin.xml,\
*.jar
|