diff options
-rw-r--r-- | plugins/org.eclipse.dltk.sh.doc/build.properties | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/org.eclipse.dltk.sh.doc/build.properties b/plugins/org.eclipse.dltk.sh.doc/build.properties index cf70111..d13d95c 100644 --- a/plugins/org.eclipse.dltk.sh.doc/build.properties +++ b/plugins/org.eclipse.dltk.sh.doc/build.properties @@ -2,4 +2,5 @@ bin.includes = plugin.xml,\ META-INF/,\ userguide/,\ *.xml,\ - build.properties + build.properties,\ + about.html |