diff options
author | Dean Roberts | 2002-05-31 21:16:13 +0000 |
---|---|---|
committer | Dean Roberts | 2002-05-31 21:16:13 +0000 |
commit | 1a0fb70937e526cfce8e103a49ce7157b15e01c6 (patch) | |
tree | f4fb0a3f5dc38067cb2d105add709c12eca13c20 | |
parent | c04431e2fbf3e7544405ee7cd55054d0659223c1 (diff) | |
download | eclipse.platform.text-1a0fb70937e526cfce8e103a49ce7157b15e01c6.tar.gz eclipse.platform.text-1a0fb70937e526cfce8e103a49ce7157b15e01c6.tar.xz eclipse.platform.text-1a0fb70937e526cfce8e103a49ce7157b15e01c6.zip |
Add src.includes=about.htmlv20020601av20020601
-rw-r--r-- | org.eclipse.search/build.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.search/build.properties b/org.eclipse.search/build.properties index a7d7e1e6119..51e58ac1785 100644 --- a/org.eclipse.search/build.properties +++ b/org.eclipse.search/build.properties @@ -4,3 +4,4 @@ bin.includes = plugin.xml,\ plugin.properties,\
*.jar
source.search.jar = search/
+src.includes=about.html
|