diff options
-rw-r--r-- | org.eclipse.ui.examples.javaeditor/about.html | 9 | ||||
-rw-r--r-- | org.eclipse.ui.examples.javaeditor/build.properties | 1 |
2 files changed, 10 insertions, 0 deletions
diff --git a/org.eclipse.ui.examples.javaeditor/about.html b/org.eclipse.ui.examples.javaeditor/about.html new file mode 100644 index 00000000000..fcadc82e6ab --- /dev/null +++ b/org.eclipse.ui.examples.javaeditor/about.html @@ -0,0 +1,9 @@ +<html>
+<title>about.html</title>
+<body>
+<h3>Copyright</h3>
+(c) Copyright IBM Corp. 2000, 2001. All rights reserved.<br>
+"This offering is based on technology from the Eclipse Project"<br>
+<a href="http://www.eclipse.org">http://www.eclipse.org</a>
+</body>
+</html>
\ No newline at end of file diff --git a/org.eclipse.ui.examples.javaeditor/build.properties b/org.eclipse.ui.examples.javaeditor/build.properties index 38bfd05eb01..0d896700a9b 100644 --- a/org.eclipse.ui.examples.javaeditor/build.properties +++ b/org.eclipse.ui.examples.javaeditor/build.properties @@ -3,6 +3,7 @@ source.javaeditorexample.jar = Eclipse Java Editor Example/ bin.includes = doc-html/,\
icons/,\
.options,\
+ about.html,\
plugin.properties,\
plugin.xml,\
*.jar
|