diff options
Diffstat (limited to 'extraplugins/facade/org.eclipse.papyrus.facade.edit/build.properties')
| -rw-r--r-- | extraplugins/facade/org.eclipse.papyrus.facade.edit/build.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extraplugins/facade/org.eclipse.papyrus.facade.edit/build.properties b/extraplugins/facade/org.eclipse.papyrus.facade.edit/build.properties index 061672eb20e..27f271f9364 100644 --- a/extraplugins/facade/org.eclipse.papyrus.facade.edit/build.properties +++ b/extraplugins/facade/org.eclipse.papyrus.facade.edit/build.properties @@ -8,3 +8,4 @@ bin.includes = .,\ jars.compile.order = .
source.. = src/
output.. = bin/
+src.includes = about.html |