diff options
Diffstat (limited to 'extraplugins/design/org.eclipse.papyrus.design.profile.architecture.editor/build.properties')
| -rw-r--r-- | extraplugins/design/org.eclipse.papyrus.design.profile.architecture.editor/build.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extraplugins/design/org.eclipse.papyrus.design.profile.architecture.editor/build.properties b/extraplugins/design/org.eclipse.papyrus.design.profile.architecture.editor/build.properties index db715c27319..31bcb32adc3 100644 --- a/extraplugins/design/org.eclipse.papyrus.design.profile.architecture.editor/build.properties +++ b/extraplugins/design/org.eclipse.papyrus.design.profile.architecture.editor/build.properties @@ -12,3 +12,4 @@ bin.includes = .,\ jars.compile.order = .
source.. = src/
output.. = bin
+src.includes = about.html |