diff options
| author | kevinh | 2001-10-31 18:27:41 +0000 |
|---|---|---|
| committer | kevinh | 2001-10-31 18:27:41 +0000 |
| commit | 3672de0b6469b3bffa3fa9603aa904549a0b43fd (patch) | |
| tree | 21745c24a416037eb9fe26824a786e282c589a20 /org.eclipse.ui.examples.javaeditor/build.properties | |
| parent | d4ed2467a6e7e371d2cc399b6fe64eb2c03e506c (diff) | |
| download | eclipse.platform.text-3672de0b6469b3bffa3fa9603aa904549a0b43fd.tar.gz eclipse.platform.text-3672de0b6469b3bffa3fa9603aa904549a0b43fd.tar.xz eclipse.platform.text-3672de0b6469b3bffa3fa9603aa904549a0b43fd.zip | |
*** empty log message ***v207
Diffstat (limited to 'org.eclipse.ui.examples.javaeditor/build.properties')
| -rw-r--r-- | org.eclipse.ui.examples.javaeditor/build.properties | 1 |
1 files changed, 1 insertions, 0 deletions
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
|