diff options
Diffstat (limited to 'extraplugins/facade/org.eclipse.papyrus.facade.definition.editor/build.properties')
| -rw-r--r-- | extraplugins/facade/org.eclipse.papyrus.facade.definition.editor/build.properties | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/extraplugins/facade/org.eclipse.papyrus.facade.definition.editor/build.properties b/extraplugins/facade/org.eclipse.papyrus.facade.definition.editor/build.properties index e76c3774f0d..f8176893a54 100644 --- a/extraplugins/facade/org.eclipse.papyrus.facade.definition.editor/build.properties +++ b/extraplugins/facade/org.eclipse.papyrus.facade.definition.editor/build.properties @@ -3,5 +3,6 @@ output.. = bin/ bin.includes = plugin.xml,\
META-INF/,\
.,\
- icons/
+ icons/,\
+ about.html
src.includes = about.html |