diff options
| author | nick | 2002-06-06 01:31:19 +0000 |
|---|---|---|
| committer | nick | 2002-06-06 01:31:19 +0000 |
| commit | ac3008fc514dbbb7bb8141097dc0cd9585acc7b1 (patch) | |
| tree | d90a9ecedcd18f812dee99a3f5bdfaca72b7f1a3 | |
| parent | 1a0fb70937e526cfce8e103a49ce7157b15e01c6 (diff) | |
| download | eclipse.platform.text-ac3008fc514dbbb7bb8141097dc0cd9585acc7b1.tar.gz eclipse.platform.text-ac3008fc514dbbb7bb8141097dc0cd9585acc7b1.tar.xz eclipse.platform.text-ac3008fc514dbbb7bb8141097dc0cd9585acc7b1.zip | |
Added about.html to build.propertiesv20020605a
| -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 0d896700a..d1dda4adb 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
|