diff options
Diffstat (limited to 'org.eclipse.ui.examples.javaeditor/build.properties')
| -rw-r--r-- | org.eclipse.ui.examples.javaeditor/build.properties | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/org.eclipse.ui.examples.javaeditor/build.properties b/org.eclipse.ui.examples.javaeditor/build.properties index 0d896700a9b..d1dda4adbd7 100644 --- a/org.eclipse.ui.examples.javaeditor/build.properties +++ b/org.eclipse.ui.examples.javaeditor/build.properties @@ -7,3 +7,5 @@ bin.includes = doc-html/,\ plugin.properties,\
plugin.xml,\
*.jar
+
+src.includes = about.html
|